projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 12 May 2010 18:41:47 +0000 (18:41 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 12 May 2010 18:41:47 +0000 (18:41 +0000) | ||
| commit | e1d6716c5560b046e0a7d0d871cc01a64cb31ca8 | |
| tree | 9e5d37e85e5893b1302a9990e70bb71280fd3bbe | tree | snapshot |
| parent | e62111335574a6ec78e5a4367a540e0529a00404 | commit | diff |
| helm/software/matita/nlibrary/Plogic/equality.ma | diff | blob | history | |
| helm/software/matita/nlibrary/Plogic/jmeq.ma | [new file with mode: 0644] | blob |
| helm/software/matita/nlibrary/Plogic/russell_support.ma | [new file with mode: 0644] | blob |