]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/cicTextualParser2.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8c9f88) | patch
- 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
tree1366a85a7022095474d3c9b49de09567ac684578tree | snapshot
parenta8c9f88c2c310e303dba976bf37b2eb755798268commit | diff
- 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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.