| changeset 7805 | 0ae9ddc36fe0 |
| parent 7791 | 66d3b64dbf49 |
| child 7847 | 5a3fa0c4b215 |
--- a/NEWS Fri Oct 08 16:05:06 1999 +0200 +++ b/NEWS Fri Oct 08 16:16:51 1999 +0200 @@ -119,6 +119,9 @@ result is not stored, but proper checks and presentation of the result still apply; +* theorem database now also indexes constants "Trueprop", "all", +"==>", "=="; thus thms_containing, findI etc. may retrieve more rules; + *** HOL ***