]> matita.cs.unibo.it Git - helm.git/commit - helm/gTopLevel/ring.mli
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fb62ac) | patch
then_ tactical implemented (equivalent to the tclTHEN of Coq)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Sep 2002 11:10:30 +0000 (11:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Sep 2002 11:10:30 +0000 (11:10 +0000)
commitc36b71880e58e39de8444efdd2a3c68047af9eda
tree6ef4aab92c49b8ce440593666105747aef20818etree | snapshot
parent2fb62ace6214451c2f027423a753d1501a8faac3commit | diff
then_ tactical implemented (equivalent to the tclTHEN of Coq)
helm/gTopLevel/ring.ml diff | blob | history
helm/gTopLevel/ring.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.