1.1 --- a/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Feb 27 11:53:08 2012 +0100
     1.2 +++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Feb 27 12:12:28 2012 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  use_thys [
     1.5 +  "Find_Unused_Assms_Examples",
     1.6    "Quickcheck_Examples",
     1.7    "Quickcheck_Lattice_Examples"
     1.8  ];