]> matita.cs.unibo.it Git - helm.git/commit
Mathql_interpreter now using db helm_mowgli_new_schema.
authornatile <??>
Fri, 22 Nov 2002 17:59:20 +0000 (17:59 +0000)
committernatile <??>
Fri, 22 Nov 2002 17:59:20 +0000 (17:59 +0000)
commit010ac872160bf21af42227971c086270e3ab2dd8
treef48b4bb2e0ce98f77466e4a82065c3bb7ace9cd2
parentff8034c074f571e60f393402ac4faef9dd572922
Mathql_interpreter now using db helm_mowgli_new_schema.
helm/ocaml/mathql_interpreter/diff.ml
helm/ocaml/mathql_interpreter/relation.ml