]> matita.cs.unibo.it Git - helm.git/commit
new documentation for the decompose tactic
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Jun 2006 14:44:43 +0000 (14:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 10 Jun 2006 14:44:43 +0000 (14:44 +0000)
commit7e374b23b0990d58217467b73e518e59781cb67d
tree659e3ba1985ddda86b3c49a8eb3f968824ac5e5b
parent5b99087bf1b8b8fb1086a72feb6f3fb258a402d8
new documentation for the decompose tactic
helm/software/matita/help/C/Makefile
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_tactics.xml