--- a/src/HOL/Library/Old_Recdef.thy Thu Mar 14 16:35:58 2019 +0100
+++ b/src/HOL/Library/Old_Recdef.thy Thu Mar 14 16:55:06 2019 +0100
@@ -7,7 +7,7 @@
theory Old_Recdef
imports Main
keywords
- "recdef" :: thy_decl and
+ "recdef" :: thy_defn and
"permissive" "congs" "hints"
begin