src/HOL/ROOT
changeset 51160 599ff65b85e2
parent 51143 0a2371e7ced3
child 51161 6ed12ae3b3e1
     1.1 --- a/src/HOL/ROOT	Fri Feb 15 15:22:16 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Feb 15 11:47:33 2013 +0100
     1.3 @@ -24,8 +24,7 @@
     1.4      List_lexord
     1.5      Sublist_Order
     1.6      Finite_Lattice
     1.7 -    Code_Char_chr
     1.8 -    Code_Char_ord
     1.9 +    Code_Char
    1.10      Product_Lexorder
    1.11      Product_Order
    1.12      (* Code_Prolog  FIXME cf. 76965c356d2a *)