| changeset 33649 | 854173fcd21c |
| parent 33639 | 603320b93668 |
| child 33673 | 881a13cbff2e |
--- a/NEWS Thu Nov 12 17:21:51 2009 +0100 +++ b/NEWS Thu Nov 12 20:38:57 2009 +0100 @@ -37,6 +37,8 @@ *** HOL *** +* A tabled implementation of the reflexive transitive closure + * New commands "code_pred" and "values" to invoke the predicate compiler and to enumerate values of inductive predicates.