--- a/src/HOL/ROOT Thu Feb 13 11:37:00 2014 +0100
+++ b/src/HOL/ROOT Thu Feb 13 11:54:14 2014 +0100
@@ -39,7 +39,7 @@
AList_Mapping
Code_Binary_Nat
Code_Char
- (* Code_Prolog FIXME cf. 76965c356d2a *)
+ Code_Prolog
Code_Real_Approx_By_Float
Code_Target_Numeral
DAList