aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisj1.java
Commit message (Expand)AuthorAgeFilesLines
* Implementing Limited Skolemisation, in particular SkolemTermsDispenser.RncLsn2015-05-131-16/+4
* initial versionyzhou2015-04-211-0/+187