]> 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: 5372de5) | patch
(first) complete implementation of (mutual) (co)inductive types syntax
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 17:20:06 +0000 (17:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 17:20:06 +0000 (17:20 +0000)
commit549387d72420ea749aa6b1faffc2a17dab62ad31
treed9098a3faebf8f9c5f4034c1d880dd87c95d85fdtree | snapshot
parent5372de545efe718a5ea3fcae8996da22d39cc360commit | diff
(first) complete implementation of (mutual) (co)inductive types syntax
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.