]> matita.cs.unibo.it Git - helm.git/commit
New syntax for auto-related tactics and conclude/obtain.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 20 Mar 2008 21:08:08 +0000 (21:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 20 Mar 2008 21:08:08 +0000 (21:08 +0000)
commitc78a913e4e45c1128b59ca8be9d53fc0c36fc9e0
tree15f551c2b320eedc49abe833923ccb951a90274a
parent9e7db2554d0fd904966c0e6988f1c8763dd15a0b
New syntax for auto-related tactics and conclude/obtain.
helm/software/matita/help/C/declarative_tactics_quickref.xml
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_declarative_tactics.xml
helm/software/matita/help/C/sec_tactics.xml
helm/software/matita/help/C/sec_terms.xml
helm/software/matita/help/C/tactics_quickref.xml