matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/tactics.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/tactics.ml

2006-01-08	Claudio Sacerdoti...	Added $Id$ to the file.	blob \| commitdiff \| raw
2005-12-15	marangon	New tactic: inversion.	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	New tactic unfold.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	1. change_tac moved from PrimitiveTactics to ReductionT...	blob \| commitdiff \| raw \| diff to current
2005-06-30	Claudio Sacerdoti...	1. rewrite_* and rewrite_back_* merged into one function	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	A few other tactics made available to matita.	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	* auto_tac removed (it can be found in CVS)	blob \| commitdiff \| raw \| diff to current
2005-06-17	Enrico Tassi	added support for goal patterns	blob \| commitdiff \| raw \| diff to current
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	paths trough terms implemented with a nice hack :)	blob \| commitdiff \| raw \| diff to current
2005-05-24	Andrea Asperti	Added a new tactic elim_intros (without simpl of the...	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2004-11-05	Stefano Zacchiroli	- added Tactics module as a common point where tactics...	blob \| commitdiff \| raw \| diff to current

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