src/HOL/ROOT
changeset 55447 aa41ecbdc205
parent 55417 01fbfb60c33e
child 55450 9eddc17749f7
     1.1 --- a/src/HOL/ROOT	Thu Feb 13 11:37:00 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Feb 13 11:54:14 2014 +0100
     1.3 @@ -39,7 +39,7 @@
     1.4      AList_Mapping
     1.5      Code_Binary_Nat
     1.6      Code_Char
     1.7 -    (* Code_Prolog  FIXME cf. 76965c356d2a *)
     1.8 +    Code_Prolog
     1.9      Code_Real_Approx_By_Float
    1.10      Code_Target_Numeral
    1.11      DAList