--- a/src/HOL/ROOT Fri Aug 10 22:25:45 2012 +0200 +++ b/src/HOL/ROOT Sat Aug 11 11:31:05 2012 +0200 @@ -92,7 +92,7 @@ VC HoareT Collecting1 - Collecting_list + Collecting_Examples Abs_Int_Tests Abs_Int1_parity Abs_Int1_const