| changeset 5701 | e57980ec351b |
| parent 5648 | fe887910e32e |
| child 5706 | 21706a735c8d |
--- a/src/HOL/UNITY/Mutex.ML Tue Oct 20 16:41:50 1998 +0200 +++ b/src/HOL/UNITY/Mutex.ML Tue Oct 20 17:27:00 1998 +0200 @@ -7,7 +7,7 @@ *) (*split_all_tac causes a big blow-up*) -claset_ref() := claset() delSWrapper "split_all_tac"; +claset_ref() := claset() delSWrapper "record_split_tac"; Addsimps [Mprg_def RS def_prg_Init]; program_defs_ref := [Mprg_def];