]> matita.cs.unibo.it Git - helm.git/commit
New content level representations for LetRec, Inductive and CoInductive.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Oct 2006 16:53:54 +0000 (16:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Oct 2006 16:53:54 +0000 (16:53 +0000)
commit213cc7cf3c9da7c024b44b54e07035b831f7a31f
treee136692acb678fe464ec1c8323f02dd34afa022f
parenta95eb5976107b2e4615c8ede24da4e96de9d9e42
New content level representations for LetRec, Inductive and CoInductive.
For LetRec the pretty-printer is now in sync with the parser.
components/acic_content/cicNotationPp.ml
components/acic_content/cicNotationPt.ml
components/acic_content/cicNotationUtil.ml
components/acic_content/termAcicContent.ml
components/cic_disambiguation/disambiguate.ml
components/grafite_parser/grafiteParser.ml
matita/help/C/sec_terms.xml