]> matita.cs.unibo.it Git - helm.git/commit
Const without duplicates
authornatile <??>
Tue, 1 Oct 2002 17:07:37 +0000 (17:07 +0000)
committernatile <??>
Tue, 1 Oct 2002 17:07:37 +0000 (17:07 +0000)
commit1570f4a7c086ee07ba0e3a1053e056b41a1bc4a7
treecf9e9c33b266f1eea9a17b9658b92e5a4afecc58
parent1482d3c977203fba91a944d9a7ac8c72e5554017
Const without duplicates
helm/ocaml/mathql_interpreter/mqint.ml