]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Nov 2007 16:40:43 +0000 (16:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Nov 2007 16:40:43 +0000 (16:40 +0000)
commitb0b85f3cad753caba19e785e09cc10ff8a6c00d9
tree300702d201a57c7f6b052fe8042c06b170fe1333
parent5c0c5980586c1fc530fd304275607dd2f8afeba0
snapshot
matita/dama/constructive_higher_order_relations.ma
matita/dama/excedence.ma
matita/dama/groups.ma
matita/dama/ordered_groups.ma
matita/dama/ordered_sets.ma