matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/destructTactic.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/destructTactic.ml

2009-05-15	Claudio Sacerdoti...	Patch to add a debugging string to HExtlib.split_nth...	blob \| commitdiff \| raw
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	blob \| commitdiff \| raw \| diff to current
2008-04-22	Enrico Tassi	oblivion ugraph everywhere outside the kernel	blob \| commitdiff \| raw
2007-11-14	Ferruccio Guidi	now destruct takes an optional list of term rather...	blob \| commitdiff \| raw \| diff to current
2007-11-13	Ferruccio Guidi	- ProofEngineHelpers: namer_of moved to GrafiteEngine	blob \| commitdiff \| raw \| diff to current
2007-11-12	Ferruccio Guidi	- destruct tactic: automatic simplification in case...	blob \| commitdiff \| raw \| diff to current
2007-11-08	Enrico Tassi	please, commit files with debug=false otherwise the...	blob \| commitdiff \| raw \| diff to current
2007-11-07	Ferruccio Guidi	- bug fix in destruct	blob \| commitdiff \| raw \| diff to current
2007-11-06	Ferruccio Guidi	new implementation of the destruct tactic,	blob \| commitdiff \| raw \| diff to current

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