projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 15 Nov 2008 15:45:52 +0000 (15:45 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 15 Nov 2008 15:45:52 +0000 (15:45 +0000) | ||
| commit | eba5539fdc38fc8aef80b38dc46a74bd8eec09b5 | |
| tree | 11308489160943712c51174360d1151cb419fd00 | tree | snapshot |
| parent | 5c6d665243a131e00b53e80b09250e3e1cb19cff | commit | diff |
| helm/software/matita/library/didactic/exercises/natural_deduction.ma | diff | blob | history |