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

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

2005-10-25	Enrico Tassi	fixed lapply on new tinycals semantic	blob \| commitdiff \| raw
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Ferruccio Guidi	the decompose tactic is now working	blob \| commitdiff \| raw \| diff to current
2005-07-05	Ferruccio Guidi	id ;-) and lapply patched	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	Signature of fwdSimpl changed to get rid of a warning.	blob \| commitdiff \| raw \| diff to current
2005-06-30	Ferruccio Guidi	lapply and fwd improved	blob \| commitdiff \| raw \| diff to current
2005-06-29	Ferruccio Guidi	lapply reimplemented using letin_tac	blob \| commitdiff \| raw \| diff to current
2005-06-28	Ferruccio Guidi	lapply improved	blob \| commitdiff \| raw \| diff to current
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	blob \| commitdiff \| raw \| diff to current
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	blob \| commitdiff \| raw \| diff to current
2005-06-24	Ferruccio Guidi	lapply tactic continued	blob \| commitdiff \| raw \| diff to current
2005-06-24	Claudio Sacerdoti...	Asts generalized: a lot of tactics where restricted...	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	blob \| commitdiff \| raw \| diff to current

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