projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 15 Nov 2008 13:14:48 +0000 (13:14 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 15 Nov 2008 13:14:48 +0000 (13:14 +0000) | ||
| commit | 3895bfa2b76c88af1d6ac41605ff17e2626d353a | |
| tree | 093688a000b8e601c0f2e4c02663051c47eec1aa | tree | snapshot |
| parent | 154cbc049da8d8c3dd090a919a40c90eb23cc24e | commit | diff |
| helm/software/matita/library/demo/natural_deduction_support.ma | [deleted file] | blob | history |
| helm/software/matita/library/didactic/support/natural_deduction.ma | [new file with mode: 0644] | blob |