]> matita.cs.unibo.it Git - helm.git/commit
some fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 15:04:00 +0000 (15:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Oct 2009 15:04:00 +0000 (15:04 +0000)
commitbac3136bf99a18374b91e1ec900e455567e8f741
tree98c066887a493ed76e74d842cdac7a7cd05677b6
parentece36f3adcdf55739b4686168b49506439bff2ba
some fixes
helm/software/matita/nlibrary/hints_declaration.ma
helm/software/matita/nlibrary/logic/connectives.ma
helm/software/matita/nlibrary/sets/sets.ma