]> matita.cs.unibo.it Git - helm.git/commit
Intersect patched..
authornatile <??>
Thu, 10 Oct 2002 14:19:25 +0000 (14:19 +0000)
committernatile <??>
Thu, 10 Oct 2002 14:19:25 +0000 (14:19 +0000)
commitc77c9107d0a456b0276383fc4c97bb491d1c7156
treee2d8885457ab3b73d1dd5b9f2377fa6172dfdfc5
parent8c216145bfbaa71af9568b0849160e46c11d3426
Intersect patched..
helm/ocaml/mathql_interpreter/intersect.ml