]> matita.cs.unibo.it Git - helm.git/commit
some work to speed up the system
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Feb 2009 20:50:20 +0000 (20:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 Feb 2009 20:50:20 +0000 (20:50 +0000)
commit23043db144b24b8cd2072800b61137bb396f891e
treefe880bdf48a358a24ea239650d0bb2140f9af44a
parentcf25aeb5fa2c00ebfe93454fbe33421d590506d4
some work to speed up the system
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma
helm/software/matita/dist/ChangeLog