# HG changeset patch
# User bulwahn
# Date 1330336596 -3600
# Node ID b07ae33cc4598cf8a9c00309989372e45061b736
# Parent  28a01ea3523a2aaecb174d44bc3460fde391fae4
removing Find_Unused_Assms_Examples from session as it requires much time

diff -r 28a01ea3523a -r b07ae33cc459 src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy
--- a/src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy	Sun Feb 26 21:44:12 2012 +0100
+++ b/src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy	Mon Feb 27 10:56:36 2012 +0100
@@ -25,4 +25,4 @@
 find_unused_assms List
 find_unused_assms Map
 
-end
\ No newline at end of file
+end
diff -r 28a01ea3523a -r b07ae33cc459 src/HOL/Quickcheck_Examples/ROOT.ML
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Feb 26 21:44:12 2012 +0100
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Feb 27 10:56:36 2012 +0100
@@ -1,5 +1,4 @@
 use_thys [
-  "Find_Unused_Assms_Examples",
   "Quickcheck_Examples",
   "Quickcheck_Lattice_Examples"
 ];