]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 549387d) | patch
implemented pretty printer for (mutual) (co)inductive types
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 17:20:56 +0000 (17:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 17:20:56 +0000 (17:20 +0000)
commit6d5e3e4ec26caa02e4cd3e29fa8c4a989f8b0352
tree14743854acd38d6e4bdc2c56528fd42b34d7fa8etree | snapshot
parent549387d72420ea749aa6b1faffc2a17dab62ad31commit | diff
implemented pretty printer for (mutual) (co)inductive types
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.