]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/nlibrary/topology/cantor.ma
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Oct 2009 12:36:12 +0000 (12:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Oct 2009 12:36:12 +0000 (12:36 +0000)
commite008452eb6b63f53b4eafc13853f7521d411dd00
treed82262f2af8050f517c203b455f729e142fc79b8
parent57c897b886b3cc52c62589b4a6e0b32566c6758a
...
helm/software/matita/nlibrary/logic/destruct_bb.ma
helm/software/matita/nlibrary/logic/equality.ma
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft.ma
helm/software/matita/nlibrary/topology/preamble.xml