]> 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)
commit475120bb8ccfe5877bbe294006170ed7ab0b1fcd
treea42146a77b02a39df1dc0b46514bf57910dd7df3
parent61d82f6f49845fe5111969156945accf21fb5a70
snapshot
helm/software/matita/dama/constructive_higher_order_relations.ma
helm/software/matita/dama/excedence.ma
helm/software/matita/dama/groups.ma
helm/software/matita/dama/ordered_groups.ma
helm/software/matita/dama/ordered_sets.ma