src/HOL/ROOT
changeset 58313 57d2e5006d29
parent 58312 710f56e192fe
child 58329 a31404ec7414
     1.1 --- a/src/HOL/ROOT	Thu Sep 11 19:38:22 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 11 19:39:48 2014 +0200
     1.3 @@ -751,7 +751,7 @@
     1.4    theories [condition = ISABELLE_FULL_TEST, timing]
     1.5      Brackin
     1.6      Instructions
     1.7 -    IsaFoR_Datatypes
     1.8 +    IsaFoR
     1.9      SML
    1.10      Verilog
    1.11