]> matita.cs.unibo.it Git - helm.git/commit
Now Pattern module really exists in repository.
authornatile <??>
Tue, 19 Nov 2002 17:43:41 +0000 (17:43 +0000)
committernatile <??>
Tue, 19 Nov 2002 17:43:41 +0000 (17:43 +0000)
commit946b13664118cfa59752d6eef634240fdb39b9ca
tree5bb3f4fae36ee38bfbdd74a61f9e0257aa29efea
parent6fc6674726fbea62faa9cebc2021346c88c603ea
Now Pattern module really exists in repository.
helm/ocaml/mathql_interpreter/pattern.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/pattern.mli [new file with mode: 0644]