]> 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:59:04 +0000 (16:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Oct 2006 16:59:04 +0000 (16:59 +0000)
commit6935786198ad90e697125917839f7adfe5b04368
treedae420ac50becce50688978fed8b90b44ab11184
parentf084490a318c45b1a4090a85119f54c463aec063
Content level representation of LetRec changed.
components/content_pres/termContentPres.ml