matita.cs.unibo.it Git - helm.git/history - helm/matita/library/list/sort.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/library/list/sort.ma

2005-11-22	Claudio Sacerdoti...	Last details.	blob \| commitdiff \| raw
2005-11-21	Claudio Sacerdoti...	Proof using function induction terminated. It's really...	blob \| commitdiff \| raw \| diff to current
2005-11-21	Claudio Sacerdoti...	Lost of redundant typing hints removed from the functio...	blob \| commitdiff \| raw \| diff to current
2005-11-21	Claudio Sacerdoti...	New proof based on an hand-made functional induction.	blob \| commitdiff \| raw \| diff to current
2005-11-16	Claudio Sacerdoti...	New framework for regression of bad tests.	blob \| commitdiff \| raw \| diff to current
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	blob \| commitdiff \| raw \| diff to current
2005-11-07	Stefano Zacchiroli	list sorting (to be completed ...)	blob \| commitdiff \| raw \| diff to current

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