src/HOL/ROOT
changeset 57544 8840fa17e17c
parent 57543 36041934e429
child 57584 155b7e3b729e
     1.1 --- a/src/HOL/ROOT	Fri Jul 11 15:35:11 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Jul 11 15:52:03 2014 +0200
     1.3 @@ -884,11 +884,10 @@
     1.4    options [document = false]
     1.5    theories
     1.6      Quickcheck_Examples
     1.7 -  (* FIXME
     1.8      Quickcheck_Lattice_Examples
     1.9      Completeness
    1.10      Quickcheck_Interfaces
    1.11 -    Hotel_Example *)
    1.12 +    Hotel_Example
    1.13    theories [condition = ISABELLE_GHC]
    1.14      Quickcheck_Narrowing_Examples
    1.15