]> matita.cs.unibo.it Git - helm.git/commit
Commit of updates in intersect.ml/mli, mqint.ml, Makefile
authornatile <??>
Fri, 20 Sep 2002 14:46:32 +0000 (14:46 +0000)
committernatile <??>
Fri, 20 Sep 2002 14:46:32 +0000 (14:46 +0000)
commite28b32104f8d3b3ce1c44fdde94d64d02f119287
treec46e4fa9d3777bcae9b298f8a6e70aeb36e9d8bd
parent27602e8f9a442b1effd75cd8f3e8b1f8a8a9d90d
Commit of updates in intersect.ml/mli, mqint.ml, Makefile
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/intersect.ml
helm/ocaml/mathql_interpreter/intersect.mli
helm/ocaml/mathql_interpreter/mqint.ml