]> matita.cs.unibo.it Git - helm.git/commit
apply rule (lem EM) works
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 17:26:07 +0000 (17:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 17:26:07 +0000 (17:26 +0000)
commite189bde1e0a562e8689ff41d55d392431609e749
treee9c6e074ffb41a012b0ce0fb42552bedc89e43dc
parent469a3e2d705d204be699b718d8f818ccd7d01a0c
apply rule (lem EM) works
helm/software/matita/library/didactic/exercises/natural_deduction.ma
helm/software/matita/library/didactic/support/natural_deduction.ma
helm/software/matita/matita.glade
helm/software/matita/matitaGui.ml