src/HOL/ROOT
changeset 58385 9cbef70cff8e
parent 58372 bfd497f2f4c2
child 58413 22dd971f6938
     1.1 --- a/src/HOL/ROOT	Fri Sep 19 08:26:03 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Sep 19 10:00:34 2014 +0200
     1.3 @@ -755,6 +755,7 @@
     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]