src/HOL/ROOT
changeset 58626 6c473ed0ac70
parent 58623 2db1df2c8467
child 58630 71cdb885b3bb
     1.1 --- a/src/HOL/ROOT	Wed Oct 08 00:13:39 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Oct 08 09:09:12 2014 +0200
     1.3 @@ -241,7 +241,6 @@
     1.4      Generate_Target_Nat
     1.5      Generate_Efficient_Datastructures
     1.6      Generate_Pretty_Char
     1.7 -    Code_Test
     1.8    theories [condition = ISABELLE_GHC]
     1.9      Code_Test_GHC
    1.10    theories [condition = ISABELLE_MLTON]