matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng

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

2010-03-02	Wilmer Ricciotti	Added syntax for ninversion tactic (still experimental).	blob \| commitdiff \| raw
2010-02-02	Wilmer Ricciotti	Fixed a bug with indexed inductive types which sometime...	blob \| commitdiff \| raw \| diff to current
2009-12-04	Wilmer Ricciotti	Bugfix in inversion (was using refl_eq instead of refl).	blob \| commitdiff \| raw \| diff to current
2009-11-25	Wilmer Ricciotti	Fixed inversion, which was broken by the last changes...	blob \| commitdiff \| raw \| diff to current
2009-10-08	Enrico Tassi	avoid warning	blob \| commitdiff \| raw \| diff to current
2009-10-07	Claudio Sacerdoti...	Debugging code commented out.	blob \| commitdiff \| raw \| diff to current
2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	blob \| commitdiff \| raw \| diff to current
2009-10-02	Enrico Tassi	fixed bug in coercion application, input/output swapped...	blob \| commitdiff \| raw \| diff to current
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	blob \| commitdiff \| raw \| diff to current
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	blob \| commitdiff \| raw \| diff to current

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