]> matita.cs.unibo.it Git - helm.git/commit
Fun implemented. new_mathql
authornatile <??>
Thu, 17 Oct 2002 17:55:17 +0000 (17:55 +0000)
committernatile <??>
Thu, 17 Oct 2002 17:55:17 +0000 (17:55 +0000)
commit9a73e22935eb65da9e23ece23ad152d79629c661
treeec5ee641a344ddab98746503a67c3bbb84373747
parent6d80f8eb7df3548c7a6fa333a0acfddd4cd0d329
Fun implemented.
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/func.ml
helm/ocaml/mathql_interpreter/func.mli
helm/ocaml/mathql_interpreter/intersect.mli
helm/ocaml/mathql_interpreter/mqint.ml