src/HOL/ROOT
changeset 57586 5efff4075b63
parent 57584 155b7e3b729e
child 57644 6ca1646b6f14
     1.1 --- a/src/HOL/ROOT	Mon Jul 21 15:23:57 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Jul 21 18:04:08 2014 +0200
     1.3 @@ -734,6 +734,8 @@
     1.4      Misc_Datatype
     1.5      Misc_Primcorec
     1.6      Misc_Primrec
     1.7 +  theories [condition = ISABELLE_FULL_TEST]
     1.8 +    IsaFoR_Datatypes
     1.9  
    1.10  session "HOL-Word" (main) in Word = HOL +
    1.11    options [document_graph]