]> matita.cs.unibo.it Git - helm.git/commit
added type for list variables
authorlordi <??>
Fri, 14 Jun 2002 08:03:01 +0000 (08:03 +0000)
committerlordi <??>
Fri, 14 Jun 2002 08:03:01 +0000 (08:03 +0000)
commit11e17663d4496ea6354e41c283c95fe6d820e218
tree76f4adff922fbd2dbc2763644b75dac5e7c7f3cb
parentd77da66c4cfe47042485fe6b8cab5c44d1e03c35
added type for list variables
helm/ocaml/mathql/mathQL.ml