src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Feb 26 11:38:33 2017 +0100
+++ b/src/HOL/ROOT	Sun Feb 26 13:22:14 2017 +0100
@@ -593,7 +593,6 @@
     Seq
     Simproc_Tests
     Executable_Relation
-    FinFunPred
     Set_Comprehension_Pointfree_Examples
     Parallel_Example
     IArray_Examples