aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk/ac/ox/cs/rsacomb/converter/NormalizerSpec.scala
Commit message (Expand)AuthorAgeFilesLines
* Add new fresh data factoryFederico Igne2021-08-061-20/+52
* Add Apache License 2.0Federico Igne2021-06-301-0/+16
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-051-0/+21
* Add ontology normalizerFederico Igne2021-02-041-0/+140