1.1 --- a/src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy	Sun Feb 26 21:44:12 2012 +0100
     1.2 +++ b/src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy	Mon Feb 27 10:56:36 2012 +0100
     1.3 @@ -25,4 +25,4 @@
     1.4  find_unused_assms List
     1.5  find_unused_assms Map
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end

     2.1 --- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Feb 26 21:44:12 2012 +0100
     2.2 +++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Feb 27 10:56:36 2012 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  use_thys [
     2.5 -  "Find_Unused_Assms_Examples",
     2.6    "Quickcheck_Examples",
     2.7    "Quickcheck_Lattice_Examples"
     2.8  ];