projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 23 Aug 2008 19:14:54 +0000 (19:14 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 23 Aug 2008 19:14:54 +0000 (19:14 +0000) | ||
| commit | be9826d87207e8dcf6eb152bd54417b5a9e80ab9 | |
| tree | 893cd31cd7944af826b5c84e1c8380a90df246ad | tree | snapshot |
| parent | 42c44d828983e4ea2d115eba20a8020b62108384 | commit | diff |
| helm/software/matita/library/formal_topology/basic_pairs.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/formal_topology/categories.ma | [new file with mode: 0644] | blob |