author | oheimb |
Tue, 07 Apr 1998 13:46:34 +0200 | |
changeset 4801 | f8701e067e43 |
parent 4800 | 97c3a45d092b |
child 4802 | c15f46833f7a |
--- a/NEWS Tue Apr 07 13:46:05 1998 +0200 +++ b/NEWS Tue Apr 07 13:46:34 1998 +0200 @@ -23,6 +23,7 @@ *** HOL *** +* added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset() * New directory HOL/UNITY: Chandy and Misra's UNITY formalism * split_all_tac now fails if there is nothing to split