]> matita.cs.unibo.it Git - helm.git/commit
faster database format implemented
authorlordi <??>
Fri, 24 May 2002 17:27:09 +0000 (17:27 +0000)
committerlordi <??>
Fri, 24 May 2002 17:27:09 +0000 (17:27 +0000)
commit2ef44e8d1a908a08d31e6114c15898ae7dc8109e
treef0b53a5297521e3bf93ac371af00fc19b44aefbb
parent3b401fbefb3830d4f3cdce189ac31559c0219a0d
faster database format implemented
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/intersect.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/pattern.ml
helm/ocaml/mathql_interpreter/select.ml
helm/ocaml/mathql_interpreter/use.ml