matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/POPLmark/Fsub/part1a.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/POPLmark/Fsub/part1a.ma

2009-07-09	Wilmer Ricciotti	More updates to Fsub.	blob \| commitdiff \| raw
2009-06-19	Wilmer Ricciotti	More improvements.	blob \| commitdiff \| raw \| diff to current
2009-06-05	Wilmer Ricciotti	- replaced part1a/defn with the version based on induct...	blob \| commitdiff \| raw \| diff to current
2009-06-03	Wilmer Ricciotti	Update, using induction/inversion.	blob \| commitdiff \| raw \| diff to current
2009-05-11	Andrea Asperti	More automation	blob \| commitdiff \| raw \| diff to current
2008-05-18	Claudio Sacerdoti...	Dummy dependent types are no longer cleaned in inductiv...	blob \| commitdiff \| raw \| diff to current
2008-03-26	Wilmer Ricciotti	Reorganization of list library (step 1)	blob \| commitdiff \| raw \| diff to current
2008-03-23	Enrico Tassi	Fsub moved in contribs	blob \| commitdiff \| raw \| diff to current

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