| changeset 4779 | 62572b45819c |
| parent 4766 | 9658aab68363 |
| child 4801 | f8701e067e43 |
--- a/NEWS Fri Apr 03 13:30:49 1998 +0200 +++ b/NEWS Fri Apr 03 13:32:42 1998 +0200 @@ -23,6 +23,8 @@ *** HOL *** +* New directory HOL/UNITY: Chandy and Misra's UNITY formalism + * split_all_tac now fails if there is nothing to split split_all_tac has moved within claset() from usafe wrappers to safe wrappers