projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 1 Dec 2008 11:41:01 +0000 (11:41 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 1 Dec 2008 11:41:01 +0000 (11:41 +0000) | ||
| commit | f7bfc8096055b1a8e82594b7079bad987676e639 | |
| tree | 5308e0ff5f412153ca09ff9490a0b296542c5b8c | tree | snapshot |
| parent | 5755ebe4016316a474ad8ab8d33b1a1a9187cc9e | commit | diff |
| helm/software/matita/library/didactic/exercises/natural_deduction_fst_order.ma | diff | blob | history | |
| helm/software/matita/library/didactic/support/natural_deduction.ma | diff | blob | history |