]> matita.cs.unibo.it Git - helm.git/commit
- typo bugfix: INT token no longer exists
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:13:56 +0000 (08:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:13:56 +0000 (08:13 +0000)
commit444a1e5087b872a07ce43dda40211f9e3613d647
tree1366a85a7022095474d3c9b49de09567ac684578
parenta8c9f88c2c310e303dba976bf37b2eb755798268
- typo bugfix: INT token no longer exists
- use "=" instead of \def for let definitions
- added a new "binder" level so that \forall n. n=n binds correctly
helm/ocaml/cic_disambiguation/cicTextualParser2.ml