]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 25 Aug 2008 13:17:48 +0000 (13:17 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 25 Aug 2008 13:17:48 +0000 (13:17 +0000) | ||
commit | b195056adc77e652f59ec0b46afe277b150e12c8 | |
tree | 224a1fd1eca0f1a47032c8321dc2482cd15fc6fe | tree | snapshot |
parent | 93d31ce53c47c6b68582cc8ed6f9475047865a89 | commit | diff |
helm/software/matita/library/datatypes/categories.ma | [new file with mode: 0644] | blob |
helm/software/matita/library/datatypes/subsets.ma | diff | blob | history | |
helm/software/matita/library/formal_topology/basic_pairs.ma | diff | blob | history | |
helm/software/matita/library/formal_topology/categories.ma | [deleted file] | blob | history |
helm/software/matita/library/formal_topology/relations.ma | [new file with mode: 0644] | blob |