]> matita.cs.unibo.it Git - helm.git/commit
more composites to make all happy!
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 18:12:28 +0000 (18:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 18:12:28 +0000 (18:12 +0000)
commit3e51297756e2c2422db7e35ca03af7123ff2498d
tree5fed33f0314f896f27fcf79fb01983779279bf1a
parent759451f66c0009b12e5bcc9fe0c61f7ab5277057
more composites to make all happy!
helm/software/components/cic_unification/cicRefine.mli
helm/software/components/library/librarySync.ml
helm/software/components/tactics/closeCoercionGraph.ml
helm/software/matita/contribs/formal_topology/overlap/categories.ma
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma