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

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

2007-12-04	Enrico Tassi	removed all the axioms!!!	blob \| commitdiff \| raw
2007-12-03	Enrico Tassi	1 lemma left!!!!	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-28	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2007-11-27	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-17	Enrico Tassi	fixed bugs found by csc	blob \| commitdiff \| raw \| diff to current
2007-11-17	Enrico Tassi	moved to pkg-ocaml-maint	blob \| commitdiff \| raw \| diff to current
2007-11-16	Claudio Sacerdoti...	Some notes for Enrico.	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	more cleanup	blob \| commitdiff \| raw \| diff to current
2007-11-15	Enrico Tassi	declared eq_sym as a coercion and added 2 lemmas for...	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	fixed notation	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	ogroups almost finished	blob \| commitdiff \| raw \| diff to current
2007-11-14	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2007-11-13	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	renamed ordered sets into excedence.ma	blob \| commitdiff \| raw \| diff to current

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