]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92b2057) | patch
added inductive_name field to inductive definitions so that this
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Feb 2005 14:11:41 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Feb 2005 14:11:41 +0000 (14:11 +0000)
commit2f15a81dcd6e5ada3f1b4fa6300e9a1347c8d12c
tree5e809b46ea327754f1ebd0e864eb953db44f66a1tree | snapshot
parent92b20571ab97c7d662304926c113fc42292b4435commit | diff
added inductive_name field to inductive definitions so that this
information is not lost at content level
helm/ocaml/cic_omdoc/cic2content.ml diff | blob | history
helm/ocaml/cic_omdoc/content.ml diff | blob | history
helm/ocaml/cic_omdoc/content.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.