]> matita.cs.unibo.it Git - helm.git/commit
almost ready
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 14:56:05 +0000 (14:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 14:56:05 +0000 (14:56 +0000)
commitb14d3611e67633ffa5b661e38331db4ea83ca429
tree69c58564e65247f2c4749c10ab0fefada7005ac6
parent214b87039cc59cc6ecb5a54cf68b296b0a3ada92
almost ready
helm/software/matita/library/depends
helm/software/matita/library/didactic/exercises/natural_deduction.ma [new file with mode: 0644]
helm/software/matita/library/didactic/support/natural_deduction.ma
helm/software/matita/matita.glade