src/HOL/ROOT
changeset 51115 7dbd6832a689
parent 51093 9d7aa2bb097b
child 51143 0a2371e7ced3
     1.1 --- a/src/HOL/ROOT	Thu Feb 14 12:24:56 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Feb 14 14:14:55 2013 +0100
     1.3 @@ -26,6 +26,8 @@
     1.4      Finite_Lattice
     1.5      Code_Char_chr
     1.6      Code_Char_ord
     1.7 +    Product_Lexorder
     1.8 +    Product_Order
     1.9      Code_Integer
    1.10      Efficient_Nat
    1.11      (* Code_Prolog  FIXME cf. 76965c356d2a *)