projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 17 Nov 2008 11:44:55 +0000 (11:44 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 17 Nov 2008 11:44:55 +0000 (11:44 +0000) | ||
| commit | 99b5244c1c9406c3e048db6eeedbe0d129a775bd | |
| tree | 46a5443f718554ee2cad3e63a104836ae1d7ca82 | tree | snapshot |
| parent | d0d1e16fcdc9d0a11317376a8ad41bd7ceadd5ed | commit | diff |
| helm/software/matita/library/didactic/exercises/natural_deduction.ma | diff | blob | history |