]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_tactics.xml
minimization.ma
[helm.git] / helm / software / matita / help / C / sec_tactics.xml
2008-06-20 Claudio Sacerdoti... - partial implementation of pattern for case documented
2008-06-18 Claudio Sacerdoti... interpretation documented
2008-06-08 Claudio Sacerdoti... New: pattern for elim documented.
2008-05-26 Enrico Tassiauto syntax updated
2008-03-20 Claudio Sacerdoti... New syntax for auto-related tactics and conclude/obtain.
2008-03-10 Claudio Sacerdoti... Tactic reduce got rid of. Use normalize, instead.
2007-10-28 Claudio Sacerdoti... The document was not valid. Fixed.
2007-06-06 Enrico Tassiadded doc for compose
2007-02-26 Ferruccio Guididecompose: delta-expansion of the type to eliminate...
2007-02-25 Ferruccio GuidiRELATIONAL: new undecomposable definition of NLE
2007-02-21 Ferruccio Guidiprocedural : some improvements.
2006-12-20 Claudio Sacerdoti... Tactic cases documented
2006-10-09 Claudio Sacerdoti... applyS now receives the same parameters that auto receives.
2006-09-25 Claudio Sacerdoti... injection_tac and discriminate_tac now replaced by...
2006-08-29 Ferruccio Guidi- new tactic subst removes simple non recursive equalit...
2006-07-12 Claudio Sacerdoti... More commands documented.
2006-07-12 Claudio Sacerdoti... paramodulation is not a stand alone tactic: doc fixed.
2006-06-29 Claudio Sacerdoti... Demodulate used to be a reduction_kind and it used...
2006-06-28 Ferruccio Guidi- "linear" flag added to lapply (automatic clearing)
2006-06-27 Ferruccio Guidi- decompose now runs with no arguments (operates on...
2006-06-20 Ferruccio Guidi- fwd concrete syntax fixed
2006-06-20 Ferruccio Guidi- added some documentation on the fwd tatcic
2006-06-13 Stefano Zacchirolitypo: titleabbrev stuff should not be bold
2006-06-13 Stefano Zacchiroliadded generation of quick reference card of tactic...
2006-06-11 Ferruccio Guidi- slight fix in lapply syntax
2006-06-10 Ferruccio Guidinew documentation for the decompose tactic
2006-06-09 Claudio Sacerdoti... More documentation committed.
2006-06-09 Claudio Sacerdoti... Tactics are now documented using bolds for terminal...
2006-05-26 Claudio Sacerdoti... More documentation.
2006-05-25 Claudio Sacerdoti... More documentation.
2006-02-09 Claudio Sacerdoti... Recapitalization of sect_tactics.xml
2006-02-09 Claudio Sacerdoti... Some fixes in the documentation of the tactics.
2006-02-09 Claudio Sacerdoti... A few intros_spec were missing here and there.
2006-02-09 Claudio Sacerdoti... Typo fixed.
2006-02-09 Claudio Sacerdoti... Most of the tactics are now documented.
2006-02-08 Claudio Sacerdoti... Even more tactics documented.
2006-02-08 Claudio Sacerdoti... New tactics (badly) documented.
2006-02-08 Claudio Sacerdoti... Nicer index for tactics in Yelp.
2006-02-08 Claudio Sacerdoti... Strange fix (for a yelp bug?)
2006-02-08 Claudio Sacerdoti... From article to book
2006-02-08 Claudio Sacerdoti... More tactics documented.
2006-02-08 Claudio Sacerdoti... Several more tactics documented.
2006-02-08 Claudio Sacerdoti... Help for the first two tactics.
2006-02-07 Stefano Zacchiroli"sec_" prefix for section IDs
2006-02-07 Stefano Zacchiroli- moved version.txt.in to the help dir