equal
deleted
inserted
replaced
21 getWrapper is renamed to appWrappers, getSWrapper to appSWrappers; |
21 getWrapper is renamed to appWrappers, getSWrapper to appSWrappers; |
22 |
22 |
23 |
23 |
24 *** HOL *** |
24 *** HOL *** |
25 |
25 |
|
26 * added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset() |
26 * New directory HOL/UNITY: Chandy and Misra's UNITY formalism |
27 * New directory HOL/UNITY: Chandy and Misra's UNITY formalism |
27 |
28 |
28 * split_all_tac now fails if there is nothing to split |
29 * split_all_tac now fails if there is nothing to split |
29 split_all_tac has moved within claset() from usafe wrappers to safe wrappers |
30 split_all_tac has moved within claset() from usafe wrappers to safe wrappers |
30 |
31 |