]> matita.cs.unibo.it Git - helm.git/commit
Relation ok!
authornatile <??>
Tue, 8 Oct 2002 10:07:45 +0000 (10:07 +0000)
committernatile <??>
Tue, 8 Oct 2002 10:07:45 +0000 (10:07 +0000)
commit994ea48005cd1290993f6825217a3acaabd766fa
tree60f9cd71126c48470e56ae8c7e434fac087c23c3
parent3cc4326e6f0b2865a9506f024b20bb3ba406077a
Relation ok!
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/relation.ml