matita.cs.unibo.it Git - helm.git/history - matita/help/C/tactic

]> matita.cs.unibo.it Git - helm.git/history - matita/help/C/tactic_quickref.xml

2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	blob \| commitdiff \| raw
2006-08-29	Ferruccio Guidi	- new tactic subst removes simple non recursive equalit...	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	More commands documented.	blob \| commitdiff \| raw \| diff to current
2006-07-12	Claudio Sacerdoti...	paramodulation is not a stand alone tactic: doc fixed.	blob \| commitdiff \| raw \| diff to current
2006-06-30	Claudio Sacerdoti...	Documentation of tinycals started.	blob \| commitdiff \| raw \| diff to current
2006-06-29	Claudio Sacerdoti...	Demodulate used to be a reduction_kind and it used...	blob \| commitdiff \| raw \| diff to current
2006-06-28	Ferruccio Guidi	- "linear" flag added to lapply (automatic clearing)	blob \| commitdiff \| raw \| diff to current
2006-06-27	Ferruccio Guidi	- decompose now runs with no arguments (operates on...	blob \| commitdiff \| raw \| diff to current
2006-06-20	Ferruccio Guidi	- fwd concrete syntax fixed	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	added generation of quick reference card of tactic...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.