src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Mar 28 12:05:47 2016 +0200
+++ b/src/HOL/ROOT	Mon Mar 28 12:05:47 2016 +0200
@@ -816,6 +816,7 @@
   options [document = false]
   theories
     LFilter
+    Paper_Examples
     Stream_Processor
     "Tests/Simple_Nesting"
   theories [quick_and_dirty]