]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 30 Nov 2006 16:14:12 +0000 (16:14 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 30 Nov 2006 16:14:12 +0000 (16:14 +0000) | ||
commit | 16b9c591af0d9a188a916140e5fcd2b58805277f | |
tree | 2e6f540e886b6c69c8b59c66fddc8af4d00851e2 | tree | snapshot |
parent | 36014ac060f150e7d93f607c914a0b06239715c0 | commit | diff |
helm/software/matita/library/Fsub/defn.ma | [new file with mode: 0644] | blob |
helm/software/matita/library/Fsub/part1a.ma | [new file with mode: 0644] | blob |