matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/depends

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/depends

[helm.git] / helm / software / matita / nlibrary / depends

2009-12-30	Enrico Tassi	...	blob \| commitdiff \| raw
2009-10-23	Enrico Tassi	CSC proof made by paramod	blob \| commitdiff \| raw \| diff to current
2009-10-18	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-14	Enrico Tassi	cantor...	blob \| commitdiff \| raw \| diff to current
2009-10-12	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-11	Enrico Tassi	auto with intro	blob \| commitdiff \| raw \| diff to current
2009-09-15	Enrico Tassi	improved check in delift for flexible lc entries.	blob \| commitdiff \| raw \| diff to current
2009-09-08	Enrico Tassi	snapshot for CSC	blob \| commitdiff \| raw \| diff to current
2009-08-25	Enrico Tassi	initial and incomplete port of the old demo about induc...	blob \| commitdiff \| raw \| diff to current
2009-08-21	Claudio Sacerdoti...	Towards a simplified proof.	blob \| commitdiff \| raw \| diff to current
2009-08-14	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-13	Claudio Sacerdoti...	(nat,plus) is an abelian, unital magma	blob \| commitdiff \| raw \| diff to current
2009-08-12	Claudio Sacerdoti...	A very little bit of arithmetic.	blob \| commitdiff \| raw \| diff to current
2009-08-04	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-07-31	Claudio Sacerdoti...	Setoids, setoids1, sets, and the like. The mess begins.	blob \| commitdiff \| raw \| diff to current
2009-07-27	Claudio Sacerdoti...	setoids.ma split into setoids.ma + setoids1.ma	blob \| commitdiff \| raw \| diff to current
2009-07-27	Claudio Sacerdoti...	topology/igt.ma (???) \|-> sets/setoids.ma	blob \| commitdiff \| raw \| diff to current
2009-07-20	Claudio Sacerdoti...	nrewrite now working	blob \| commitdiff \| raw \| diff to current
2009-07-08	Enrico Tassi	few more files, one diverges	blob \| commitdiff \| raw \| diff to current
2009-07-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-07-07	Claudio Sacerdoti...	Let's play a bit with NG.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom