src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Apr 17 12:40:48 2016 +0200
+++ b/src/HOL/ROOT	Sun Apr 17 12:59:55 2016 +0200
@@ -554,7 +554,7 @@
     Coercion_Examples
     Abstract_NAT
     Guess
-    Fundefs
+    Functions
     Induction_Schema
     LocaleTest2
     Records