]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2329c7f) | patch
* Many improvements.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Apr 2002 09:37:28 +0000 (09:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Apr 2002 09:37:28 +0000 (09:37 +0000)
commitd1d5f6ee41209f05c072ba20e3cd50bc774ebff4
tree9102c060cfdb719336c5cbf42d36f763d6568066tree | snapshot
parent2329c7fd13fb6c88f9f82ccad6b25a67c9ce7acfcommit | diff
* Many improvements.
* Intros and Exact are now implemented.
* Inner sorts are now generated and used.
* Perforation of the proof is now implemented.
helm/gTopLevel/cic2Xml.ml diff | blob | history
helm/gTopLevel/cic2acic.ml diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/logicalOperations.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/sequentPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.