changeset 62380 | 29800666e526 |
parent 62363 | 7b5468422352 |
child 62479 | 716336f19aa9 |
--- a/src/HOL/ROOT Mon Feb 22 14:37:56 2016 +0000 +++ b/src/HOL/ROOT Tue Feb 23 15:37:18 2016 +0100 @@ -148,7 +148,6 @@ "Abs_Int_ITP/Abs_Int1_parity_ITP" "Abs_Int_ITP/Abs_Int1_const_ITP" "Abs_Int_ITP/Abs_Int3_ITP" - "Abs_Int_Den/Abs_Int_den2" Procs_Dyn_Vars_Dyn Procs_Stat_Vars_Dyn Procs_Stat_Vars_Stat