author | paulson |
Fri, 03 Apr 1998 13:32:42 +0200 | |
changeset 4779 | 62572b45819c |
parent 4778 | 3fbb7021828f |
child 4780 | f4ff003bc7ee |
--- 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