]> matita.cs.unibo.it Git - helm.git/commit
Content level representation of LetRec changed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Oct 2006 16:57:10 +0000 (16:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Oct 2006 16:57:10 +0000 (16:57 +0000)
commitf084490a318c45b1a4090a85119f54c463aec063
treebda069f466c0c342ac6d252a8ab077bcfeecef26
parent213cc7cf3c9da7c024b44b54e07035b831f7a31f
Content level representation of LetRec changed.
components/content_pres/cicNotationParser.ml
components/content_pres/cicNotationParser.mli