]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 17 Nov 2008 19:46:56 +0000 (19:46 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 17 Nov 2008 19:46:56 +0000 (19:46 +0000) | ||
commit | 645f1dd2063a42d8deb74069d83b0589a61270d2 | |
tree | 3d4ae670162a25b81cc2d093c0e4209b51a7a6da | tree | snapshot |
parent | 2104e9482cbdd6067b54eb077f4c76f2eb4428fa | commit | diff |
helm/software/matita/library/didactic/exercises/natural_deduction.ma | diff | blob | history |