]> matita.cs.unibo.it Git - helm.git/commit
all pullbacks are attempted in sequence, removed many unfold
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jan 2009 09:56:34 +0000 (09:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 Jan 2009 09:56:34 +0000 (09:56 +0000)
commit0080faad4e730c227b6bbb2549407b23703b477a
treee99464be42e591444757ab9c27578d1435cbfaf5
parent5ab72ef7c6da38f9bc239e13f049521922987183
all pullbacks are attempted in sequence, removed many unfold
helm/software/components/cic_unification/cicUnification.ml
helm/software/components/cic_unification/coercGraph.ml
helm/software/components/library/librarySync.ml
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces.ma
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/relations.ma