Sun Apr 05 16:18:11+0200 2020
8cffbc4
| name | last commit | date |
 entailment/ | Terms are equivalent only if they are both well-formed | Sun Apr 05 16:18:11+0200 2020 |
 rdf.scm | Fix augmenting RDFS and RDF consistency | Sun Apr 05 14:51:48+0200 2020 |
| xsd.scm | Fix int datatype | Sun Apr 05 16:17:22+0200 2020 |