src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Apr 24 14:17:57 2018 +0000
+++ b/src/HOL/ROOT	Tue Apr 24 14:17:58 2018 +0000
@@ -39,7 +39,6 @@
     (*data refinements and dependent applications*)
     AList_Mapping
     Code_Binary_Nat
-    Code_Char
     Code_Prolog
     Code_Real_Approx_By_Float
     Code_Target_Numeral
@@ -248,7 +247,6 @@
     Generate_Binary_Nat
     Generate_Target_Nat
     Generate_Efficient_Datastructures
-    Generate_Pretty_Char
     Code_Test_PolyML
     Code_Test_Scala
   theories [condition = ISABELLE_GHC]