]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9fb6ae) | patch
URIs of inductive types and constructors fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Jul 2003 12:31:42 +0000 (12:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Jul 2003 12:31:42 +0000 (12:31 +0000)
commit6104889dac72e3ff37b13ea997dafc4c0ef45ac3
tree51bb95f3bbcd2f83366e6c27c91c7fad5cbcea65tree | snapshot
parentf9fb6aea5ebbb04018ce2b9e4a395339b58d8ff9commit | diff
URIs of inductive types and constructors fixed.
helm/ocaml/cic_transformations/content_expressions.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.