proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
authorwenzelm
Sun Jul 20 22:05:35 2014 +0200 (2014-07-20)
changeset 57584155b7e3b729e
parent 57583 a52e06f11e41
child 57585 ce06a901c050
child 57587 af074bd6222e
child 57598 56ed992b6d65
proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Sun Jul 20 20:00:53 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Sun Jul 20 22:05:35 2014 +0200
     1.3 @@ -887,8 +887,8 @@
     1.4      Quickcheck_Lattice_Examples
     1.5      Completeness
     1.6      Quickcheck_Interfaces
     1.7 +  theories [condition = ISABELLE_GHC]
     1.8      Hotel_Example
     1.9 -  theories [condition = ISABELLE_GHC]
    1.10      Quickcheck_Narrowing_Examples
    1.11  
    1.12  session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL +