]> matita.cs.unibo.it Git - helm.git/commit
(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
treed9098a3faebf8f9c5f4034c1d880dd87c95d85fd
parent5372de545efe718a5ea3fcae8996da22d39cc360
(first) complete implementation of (mutual) (co)inductive types syntax
helm/ocaml/cic_disambiguation/cicTextualParser2.ml