src/Doc/Implementation/Integration.thy

--- a/src/Doc/Implementation/Integration.thy	Tue Apr 15 19:51:55 2014 +0200
+++ b/src/Doc/Implementation/Integration.thy	Tue Apr 15 20:24:49 2014 +0200
@@ -184,6 +184,8 @@
 section {* Theory database \label{sec:theory-database} *}
 
 text {*
+  %FIXME update
+
   The theory database maintains a collection of theories, together
   with some administrative information about their original sources,
   which are held in an external store (i.e.\ some directory within the