--- a/src/HOL/ROOT Sat Jun 01 11:48:06 2013 +0200 +++ b/src/HOL/ROOT Sat Jun 01 12:02:41 2013 +0200 @@ -130,7 +130,7 @@ Live_True Hoare_Examples VCG - HoareT + Hoare_Total Collecting1 Collecting_Examples Abs_Int_Tests