]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/proofEngine.mli
Added new tactics: Exists, Split, Assumption, Absurd, Generalize (doesn't work)
[helm.git] / helm / gTopLevel / proofEngine.mli
2002-12-03 Michele GalatàAdded new tactics: Exists, Split, Assumption, Absurd...
2002-10-31 Michele GalatàAdded variousTactic with Constructor, Left, Right,...
2002-10-31 Claudio Sacerdoti... - ElimIntrosSimpl now implemented using tacticals....
2002-10-30 Claudio Sacerdoti... - (Partial) porting to the new theory with explicit...
2002-10-25 no authorThis commit was manufactured by cvs2svn to create branch
2002-10-09 no authorThis commit was manufactured by cvs2svn to create branch
2002-09-20 Claudio Sacerdoti... change code moved to change_tac (functional version...
2002-09-04 Enrico TassiFourier tactic
2002-07-22 Claudio Sacerdoti... Many improvements in tactics (and tactical) representation:
2002-07-01 Stefano Zacchiroli- added Ring tactic on reals