]> matita.cs.unibo.it Git - helm.git/commit
better description of declarative tactics
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 May 2008 16:33:07 +0000 (16:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 May 2008 16:33:07 +0000 (16:33 +0000)
commitf63e9358746f82de0dd07d60bdf82fdc0fae2101
tree3b9bb95bd4c9026ab96865cebcf3363c0b78aa42
parentfd93fa0155994b70482e0f07d8e45c238cce835d
better description of declarative tactics
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_terms.xml