]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a25db6) | patch
Tactic cases documented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2006 22:39:19 +0000 (22:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2006 22:39:19 +0000 (22:39 +0000)
commitd781bb8353822c2a72a541de56b88fe48a23c48b
tree1de189e451469196a66f1f1485ffbdcd54a0cc57tree | snapshot
parent6a25db65c9a787daf7344e3b166b2d798b1ff1a5commit | diff
Tactic cases documented
matita/help/C/sec_tactics.xml diff | blob | history
matita/help/C/tactics_quickref.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.