diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 14:37:25 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 14:37:25 +0100 |
| commit | 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (patch) | |
| tree | e877ee54e4cef1d096ef21d6c83fda4e7a912d03 /src/uk/ac/ox/cs/pagoda/reasoner/light/KarmaQuery.java | |
| parent | b3ce74df783ebe665182dbd916a7288cff8bc127 (diff) | |
| download | ACQuA-51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7.tar.gz ACQuA-51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7.zip | |
Restored fixed SkolemTermsManager (went lost in some revert).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light/KarmaQuery.java')
0 files changed, 0 insertions, 0 deletions