projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 24 Sep 2007 16:22:16 +0000 (16:22 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 24 Sep 2007 16:22:16 +0000 (16:22 +0000) | ||
| commit | fef5299c2f24e4bed4a6d848a519b0777a28513b | |
| tree | e3eaf6404cd1dc8f7656cdf59d9a7d17b5c028d6 | tree | snapshot |
| parent | 95c552c01db5a8822a4ea14a59f4ca5ce21b7c84 | 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 | diff | blob | history |