Fix int datatype

Julien LepillerSun Apr 05 16:17:22+0200 2020

5320e85

guile-rdf/rdf
namelast commitdate
entailment/TypoSun Apr 05 16:05:46+0200 2020
rdf.scmFix augmenting RDFS and RDF consistencySun Apr 05 14:51:48+0200 2020
xsd.scmFix int datatypeSun Apr 05 16:17:22+0200 2020