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

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

2007-11-13	Enrico Tassi	snapshot	blob \| commitdiff \| raw
2007-11-12	Enrico Tassi	some work till the need of redoing all groups based...	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	ordered_sets are built with excedence	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	added ordered sets	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	renamed ordered sets into excedence.ma	blob \| commitdiff \| raw
2007-11-12	Enrico Tassi	relocated	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	removed dust	blob \| commitdiff \| raw \| diff to current
2007-11-12	Enrico Tassi	ordered set is over, much new stuff coming from a coref...	blob \| commitdiff \| raw \| diff to current
2007-11-07	Enrico Tassi	reorganization of the whole story, the root dir contain...	blob \| commitdiff \| raw \| diff to current
2007-05-25	Enrico Tassi	auto --> autobatch	blob \| commitdiff \| raw \| diff to current
2007-01-03	Claudio Sacerdoti...	Notation is finally fully working everywhere.	blob \| commitdiff \| raw \| diff to current
2006-12-29	Claudio Sacerdoti...	First attempt at using/simulating records with manifest...	blob \| commitdiff \| raw \| diff to current
2006-12-15	Enrico Zoli	Up to definition of limsup as liminf computed on the...	blob \| commitdiff \| raw \| diff to current
2006-12-15	Claudio Sacerdoti...	Huge DAMA update:	blob \| commitdiff \| raw \| diff to current

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