# HG changeset patch
# User wenzelm
# Date 1392290668 -3600
# Node ID 9eddc17749f7650c0b6a1633b8a209d77c1f2659
# Parent  ce855dc0e5238cf2f4c369a5d4ff338fe53594bf
reactivate some examples that still appear to work;

diff -r ce855dc0e523 -r 9eddc17749f7 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Feb 13 12:14:47 2014 +0100
+++ b/src/HOL/ROOT	Thu Feb 13 12:24:28 2014 +0100
@@ -917,19 +917,19 @@
     (* FIXME
     Predicate_Compile_Quickcheck_Examples  -- should be added again soon (since 21-Oct-2010) *)
     Specialisation_Examples
-    (* FIXME since 21-Jul-2011
-    Hotel_Example_Small_Generator
     IMP_1
     IMP_2
+    (* FIXME since 21-Jul-2011
+    Hotel_Example_Small_Generator
     IMP_3
     IMP_4 *)
-  theories [condition = "ISABELLE_SWIPL"]  (* FIXME: *or* ISABELLE_YAP (??) *)
+  theories [condition = "ISABELLE_SWIPL"]
     Code_Prolog_Examples
     Context_Free_Grammar_Example
     Hotel_Example_Prolog
     Lambda_Example
     List_Examples
-  theories [condition = "ISABELLE_SWIPL", quick_and_dirty]  (* FIXME: *or* ISABELLE_YAP (??) *)
+  theories [condition = "ISABELLE_SWIPL", quick_and_dirty]
     Reg_Exp_Example
 
 session HOLCF (main) in HOLCF = HOL +