]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics
sort CProp added
[helm.git] / helm / ocaml / tactics /
2003-12-02 Ferruccio Guidisort CProp added
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug...
2003-09-05 Claudio Sacerdoti... Replace is now working also over Type.
2003-09-05 Claudio Sacerdoti... Replace tactic fixed. It was not working any longer...
2003-09-05 Claudio Sacerdoti... Defs in context may now have an optional type (when...
2003-09-04 Ferruccio Guidiadded the support for the "Locate Inductive Principles...
2003-07-17 Ferruccio Guidi- new generated query "unreferred" implemented at serve...
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type...
2003-06-19 Claudio Sacerdoti... The universe was the one of the complete search, not...
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.