projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 16 Sep 2008 19:55:56 +0000 (19:55 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 16 Sep 2008 19:55:56 +0000 (19:55 +0000) | ||
| commit | 7fb962ce66388785d27e699d921aa7b03a170139 | |
| tree | 06de06e9666c620a3cb6dffeed316482dc08d029 | tree | snapshot |
| parent | 2afec2cc82077163425701cc02ffb719a6345fb6 | commit | diff |
| helm/software/matita/library/datatypes/subsets.ma | diff | blob | history | |
| helm/software/matita/library/formal_topology/formal_topologies.ma | diff | blob | history |