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

2011-01-21	Wilmer Ricciotti	Removed inclusion of logic/equality.ma in datatypes...	blob \| commitdiff \| raw
2010-09-27	Enrico Tassi	many fixes to setoids for re, 16.1 almost done	blob \| commitdiff \| raw \| diff to current
2010-09-25	Enrico Tassi	some reorganization + some more re-setoids.ma proofs	blob \| commitdiff \| raw \| diff to current
2010-04-21	Ferruccio Guidi	new dependences	blob \| commitdiff \| raw \| diff to current
2010-04-13	Enrico Tassi	fixed support file for TPTP	blob \| commitdiff \| raw \| diff to current
2010-04-08	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2010-03-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2010-02-11	Enrico Tassi	some experiment filtering with height	blob \| commitdiff \| raw \| diff to current
2010-01-18	Claudio Sacerdoti...	// in place of nauto everywhere	blob \| commitdiff \| raw \| diff to current
2009-12-30	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
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