projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 24 Nov 2008 18:11:08 +0000 (18:11 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 24 Nov 2008 18:11:08 +0000 (18:11 +0000) | ||
| commit | ece1166d5202b74ee25bdceef1b4951de979a99b | |
| tree | 9e09cb3eb1fe718d3c564ac037adb72e505ae0af | tree | snapshot |
| parent | a3d01f7170dd84f90481d53e271580e10e46ae75 | commit | diff |
| helm/software/matita/library/didactic/exercises/natural_deduction1.ma | [new file with mode: 0644] | blob |