src/HOL/ROOT
changeset 58433 d518f892cec6
parent 58423 e4d540c0dd57
child 58623 2db1df2c8467
     1.1 --- a/src/HOL/ROOT	Wed Sep 24 16:35:42 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Sep 24 17:33:53 2014 +0200
     1.3 @@ -758,12 +758,12 @@
     1.4      Stream_Processor
     1.5      Misc_Codatatype
     1.6      Misc_Datatype
     1.7 -    Misc_N2M
     1.8      Misc_Primcorec
     1.9      Misc_Primrec
    1.10    theories [condition = ISABELLE_FULL_TEST, timing]
    1.11      Brackin
    1.12      IsaFoR
    1.13 +    Misc_N2M
    1.14  
    1.15  session "HOL-Word" (main) in Word = HOL +
    1.16    options [document_graph]