]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6034f30) | patch
Bug fixed in pretty printing in new syntax of MutCases on inductive types
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Sep 2006 10:23:29 +0000 (10:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Sep 2006 10:23:29 +0000 (10:23 +0000)
commit7bbe9c8a9fcc471920c18a12fb5745828f2fd188
tree622268625234c1883f2b1b46506011ff29b203d5tree | snapshot
parent6034f308db1dbe8d99d20a083e95b6b09c0a6613commit | diff
Bug fixed in pretty printing in new syntax of MutCases on inductive types
with left parameters.
helm/software/components/cic_proof_checking/cicPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.