Sat Apr 04 00:46:58+0200 2020
44483a3
| name | last commit | date |
 entailment/ | Add simple entailment regime and associated tests | Fri Apr 03 03:36:30+0200 2020 |
 rdf.scm | Add type recognition procedure | Sat Apr 04 00:46:58+0200 2020 |
| xsd.scm | Add datatype list | Sat Apr 04 00:46:31+0200 2020 |