]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c74012d) | patch
Added the possibility to select parts of the goal of a sequent and retrieve
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:12:53 +0000 (11:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:12:53 +0000 (11:12 +0000)
commitc6a3408b6e603bed4f3d3c15f897b9007d98bb6f
tree8ba127c567eec551b12b77942c2a840d0f4e6e7etree | snapshot
parentc74012ddc6f92b87c2279e277b0aa3203dfbd0accommit | diff
Added the possibility to select parts of the goal of a sequent and retrieve
the corresponding CIC term.
helm/gTopLevel/sequentPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.