]> matita.cs.unibo.it Git - helm.git/commit
nice hints
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Sep 2009 15:03:13 +0000 (15:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Sep 2009 15:03:13 +0000 (15:03 +0000)
commitbc4cc41e813fc850a7f981cd60ba22e14485b7d1
treec806b816caa82ab59485dd48e9e8b5962cd35cd2
parent327d4eec3a6bfe9d3c86d77bc95f7be03f4df627
nice hints
helm/software/matita/nlibrary/hints_declaration.ma
helm/software/matita/nlibrary/logic/cprop.ma
helm/software/matita/nlibrary/sets/sets.ma