]> matita.cs.unibo.it Git - helm.git/commit
added support for let in
authorlordi <??>
Thu, 13 Jun 2002 17:13:05 +0000 (17:13 +0000)
committerlordi <??>
Thu, 13 Jun 2002 17:13:05 +0000 (17:13 +0000)
commit46efa18587accd9b5479e021f05ae6d1f2918037
tree11dbe2796bc5a1128dc04e7010bdd6a8cd59bc31
parent9c08b9567c9aa22b9066abde48b72b441c2a95e5
added support for let in
helm/ocaml/mathql/mathQL.ml