]> matita.cs.unibo.it Git - helm.git/commit
remove bad aliases from toolbox
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 09:02:20 +0000 (09:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 09:02:20 +0000 (09:02 +0000)
commitc2bf3797d41b0fd06588f5c7d0fbd02d1219371d
tree79012c595de6e5fb2888c715c25c1256abc8f18d
parent4cff1c91c102e84fa930383633efe16492264051
remove bad aliases from toolbox
helm/software/matita/library/demo/toolbox.ma
helm/software/matita/library/depends
helm/software/matita/library/logic/cprop_connectives.ma