matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama/metric

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama/metric_lattice.ma

2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw
2007-12-08	Enrico Tassi	the is_structure is a bad idea if you don't have canoni...	blob \| commitdiff \| raw \| diff to current
2007-12-04	Enrico Tassi	refactoring of some lemmas, shorter proofs	blob \| commitdiff \| raw \| diff to current
2007-12-04	Enrico Tassi	sandwitch theorem done	blob \| commitdiff \| raw \| diff to current
2007-12-04	Enrico Tassi	removed all the axioms!!!	blob \| commitdiff \| raw \| diff to current
2007-12-03	Enrico Tassi	1 lemma left!!!!	blob \| commitdiff \| raw \| diff to current
2007-12-01	Enrico Tassi	carabinieri almost done	blob \| commitdiff \| raw \| diff to current
2007-11-30	Enrico Tassi	carabinieri almost done	blob \| commitdiff \| raw \| diff to current
2007-11-30	Enrico Tassi	cleanup of the eq_trans burdain	blob \| commitdiff \| raw \| diff to current
2007-11-30	Enrico Tassi	3.11 !!!	blob \| commitdiff \| raw \| diff to current
2007-11-28	Enrico Tassi	more stuff	blob \| commitdiff \| raw \| diff to current
2007-11-28	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2007-11-27	Enrico Tassi	bir georganization, most of the structures done	blob \| commitdiff \| raw \| diff to current
2007-11-26	Enrico Tassi	reorganization of many files according to the new basic...	blob \| commitdiff \| raw \| diff to current

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