Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
authorwenzelm
Sun, 20 Jul 2014 22:05:35 +0200
changeset 57584 155b7e3b729e
parent 57583 a52e06f11e41
child 57585 ce06a901c050
child 57587 af074bd6222e
child 57598 56ed992b6d65
proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sun Jul 20 20:00:53 2014 +0200
+++ b/src/HOL/ROOT	Sun Jul 20 22:05:35 2014 +0200
@@ -887,8 +887,8 @@
     Quickcheck_Lattice_Examples
     Completeness
     Quickcheck_Interfaces
+  theories [condition = ISABELLE_GHC]
     Hotel_Example
-  theories [condition = ISABELLE_GHC]
     Quickcheck_Narrowing_Examples
 
 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL +
isabelle