]> matita.cs.unibo.it Git - helm.git/commit
natural deduction palette
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 12:52:22 +0000 (12:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 12:52:22 +0000 (12:52 +0000)
commit88f24d23df67d88bf98c2ca32ac0d9854f3d9b00
tree53575cc9d8e91660700300cea631922a3b32c648
parentd5216e897267e4495290ecbf08eb9f88f6815a0c
natural deduction palette
helm/software/matita/library/demo/natural_deduction.ma
helm/software/matita/library/demo/natural_deduction_support.ma
helm/software/matita/matita.glade
helm/software/matita/matita.lang
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaGui.ml