--- a/src/HOL/ROOT Sun Sep 06 22:14:52 2015 +0200
+++ b/src/HOL/ROOT Wed Sep 09 17:07:44 2015 +0200
@@ -975,15 +975,14 @@
theories
Examples
Predicate_Compile_Tests
- (* FIXME
- Predicate_Compile_Quickcheck_Examples -- should be added again soon (since 21-Oct-2010) *)
+ Predicate_Compile_Quickcheck_Examples
Specialisation_Examples
IMP_1
IMP_2
(* FIXME since 21-Jul-2011
- Hotel_Example_Small_Generator
+ Hotel_Example_Small_Generator *)
IMP_3
- IMP_4 *)
+ IMP_4
theories [condition = "ISABELLE_SWIPL"]
Code_Prolog_Examples
Context_Free_Grammar_Example