src/HOL/ROOT
changeset 58308 0ccba1b6d00b
parent 58110 019c0211ed1f
child 58309 a09ec6daaa19
     1.1 --- a/src/HOL/ROOT	Thu Sep 11 19:18:23 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 11 19:20:23 2014 +0200
     1.3 @@ -749,7 +749,11 @@
     1.4      Misc_Primcorec
     1.5      Misc_Primrec
     1.6    theories [condition = ISABELLE_FULL_TEST]
     1.7 +    Brackin
     1.8 +    Instructions
     1.9      IsaFoR_Datatypes
    1.10 +    SML
    1.11 +    Verilog
    1.12  
    1.13  session "HOL-Word" (main) in Word = HOL +
    1.14    options [document_graph]