]> matita.cs.unibo.it Git - helm.git/commit
New files about Sub Meet
authornatile <??>
Tue, 1 Oct 2002 16:54:10 +0000 (16:54 +0000)
committernatile <??>
Tue, 1 Oct 2002 16:54:10 +0000 (16:54 +0000)
commit6802617e5354dc6a854ac18c70f3c7fe17ab21f1
treeac8963767d590f030fc71ec2921aaad22f749064
parentb6295a30e0534c8e3a06ddbcc46c8565726437b0
New files about Sub Meet
helm/ocaml/mathql_interpreter/meet.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/meet.mli [new file with mode: 0644]
helm/ocaml/mathql_interpreter/sub.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/sub.mli [new file with mode: 0644]