projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 18 Jan 2007 11:51:05 +0000 (11:51 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 18 Jan 2007 11:51:05 +0000 (11:51 +0000) | ||
| commit | 247ec86cf6e8ba95843b408453afd57f7cf2d075 | |
| tree | e7e4050e3cb909f596daa6f5b82aac7bf5848b75 | tree | snapshot |
| parent | 2a56316adcc4d32870d704fa86fda83fbde6df15 | commit | diff |
| helm/software/matita/library/Fsub/defn.ma | diff | blob | history | |
| helm/software/matita/library/Fsub/part1a.ma | diff | blob | history | |
| helm/software/matita/library/Fsub/util.ma | [new file with mode: 0644] | blob |