]> matita.cs.unibo.it Git - helm.git/commit
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
tree622268625234c1883f2b1b46506011ff29b203d5
parent6034f308db1dbe8d99d20a083e95b6b09c0a6613
Bug fixed in pretty printing in new syntax of MutCases on inductive types
with left parameters.
helm/software/components/cic_proof_checking/cicPp.ml