src/HOL/ROOT
changeset 58351 b3f7c69e9fcd
parent 58331 054e9a9fccad
child 58367 8af1e68d7e1a
     1.1 --- a/src/HOL/ROOT	Tue Sep 16 19:23:37 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Sep 16 19:23:37 2014 +0200
     1.3 @@ -755,10 +755,7 @@
     1.4      Misc_Primrec
     1.5    theories [condition = ISABELLE_FULL_TEST, timing]
     1.6      Brackin
     1.7 -    Instructions
     1.8      IsaFoR
     1.9 -    SML
    1.10 -    Verilog
    1.11  
    1.12  session "HOL-Word" (main) in Word = HOL +
    1.13    options [document_graph]