]> matita.cs.unibo.it Git - helm.git/commit
intersect improved in speed
authorlordi <??>
Thu, 23 May 2002 16:12:52 +0000 (16:12 +0000)
committerlordi <??>
Thu, 23 May 2002 16:12:52 +0000 (16:12 +0000)
commit9b23e4b3a2862c73d0b61c96cd68562dac3bf7f6
tree29f946094abc14e6d2bc51a2e60bbb54cb664f87
parent5a3c6e3eb8f8ed08152c43671ff21a04cbc57dac
intersect improved in speed
helm/ocaml/mathql_interpreter/eval.ml
helm/ocaml/mathql_interpreter/intersect.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/pattern.ml
helm/ocaml/mathql_interpreter/union.ml
helm/ocaml/mathql_interpreter/use.ml