]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/library/didactic/exercises/natural_deduction.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f870943) | patch
natural deduction support for lemmas with premises
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 30 Nov 2008 21:00:04 +0000 (21:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 30 Nov 2008 21:00:04 +0000 (21:00 +0000)
commit2030cae5f1a588fa6bbea50927030f83a2156d67
tree6bac6a5ac569b548a4d7482da4431fbdc279f739tree | snapshot
parentf870943aedc6ef6f51be134ed3e82bbc03b3eea1commit | diff
natural deduction support for lemmas with premises
helm/software/matita/library/didactic/exercises/natural_deduction.ma diff | blob | history
helm/software/matita/library/didactic/exercises/natural_deduction1.ma diff | blob | history
helm/software/matita/library/didactic/support/natural_deduction.ma diff | blob | history
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.