changeset 64448 | 49b78f1f9e01 |
parent 64431 | ae53f4d901a3 |
child 64555 | 628b271c5b8b |
--- a/src/HOL/ROOT Tue Nov 22 18:36:59 2016 +0100 +++ b/src/HOL/ROOT Wed Nov 23 16:28:42 2016 +0100 @@ -153,9 +153,6 @@ Abs_Int1_parity Abs_Int1_const Abs_Int3 - "Abs_Int_ITP/Abs_Int1_parity_ITP" - "Abs_Int_ITP/Abs_Int1_const_ITP" - "Abs_Int_ITP/Abs_Int3_ITP" Procs_Dyn_Vars_Dyn Procs_Stat_Vars_Dyn Procs_Stat_Vars_Stat