projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 16 Nov 2008 10:05:17 +0000 (10:05 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 16 Nov 2008 10:05:17 +0000 (10:05 +0000) | ||
| commit | 1118162fa2c7b4dc860da0c3aa434bd2a1631855 | |
| tree | bc6782fe1cfbe1127d4ff3c3aca2ef82c7639b06 | tree | snapshot |
| parent | 992c6ea9d35cbdf8e9d2ce870a1b3d8f7e099e7d | commit | diff |
| helm/software/matita/library/didactic/exercises/natural_deduction.ma | diff | blob | history |