]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/cic.ml
First very partial implementation of LetIn and bodyed Variables
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 16:02:07 +0000 (16:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 16:02:07 +0000 (16:02 +0000)
commitb276e71d04d5bc981b710b2ba793ccf157c256d7
tree904b7bf970dc03f17ec94f940ecfa00aca84f136
parented48e54d2bd1a483edb14fad9f4dcefe4f9076f6
First very partial implementation of LetIn and bodyed Variables
15 files changed:
helm/interface/annotation2Xml.ml
helm/interface/annotationParser2.ml
helm/interface/cic.ml
helm/interface/cic2Xml.ml
helm/interface/cicAnnotationHinter.ml
helm/interface/cicCache.ml
helm/interface/cicCooking.ml
helm/interface/cicParser.ml
helm/interface/cicParser2.ml
helm/interface/cicParser3.ml
helm/interface/cicPp.ml
helm/interface/cicReduction.ml
helm/interface/cicTypeChecker.ml
helm/interface/cicXPath.ml
helm/interface/deannotate.ml