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/nCicElim.ml

2009-07-17	Claudio Sacerdoti...	More info to refine empty types elimination.	blob \| commitdiff \| raw
2009-07-17	Claudio Sacerdoti...	Debugging code commented out.	blob \| commitdiff \| raw \| diff to current
2009-07-17	Claudio Sacerdoti...	Bug fixed: singleton application.	blob \| commitdiff \| raw \| diff to current
2009-07-17	Claudio Sacerdoti...	New suffixes for elimination principles:	blob \| commitdiff \| raw \| diff to current
2009-07-17	Claudio Sacerdoti...	Generation of inductive principle for Type[0].	blob \| commitdiff \| raw \| diff to current
2009-07-15	Enrico Tassi	ncopy partially implemented and fixed (a ?) chain to...	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-15	Claudio Sacerdoti...	Cosmetic.	blob \| commitdiff \| raw \| diff to current
2009-05-12	Claudio Sacerdoti...	All weakly positive types but imbricated ones are now...	blob \| commitdiff \| raw \| diff to current
2009-05-11	Claudio Sacerdoti...	- non_punctuational_tacticals ported to NG	blob \| commitdiff \| raw \| diff to current

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