--- a/src/HOL/Ctr_Sugar.thy Fri Feb 14 07:53:46 2014 +0100
+++ b/src/HOL/Ctr_Sugar.thy Fri Feb 14 07:53:46 2014 +0100
@@ -12,7 +12,7 @@
imports HOL
keywords
"print_case_translations" :: diag and
- "wrap_free_constructors" :: thy_goal
+ "free_constructors" :: thy_goal
begin
consts