--- a/src/HOL/HOLCF/Cpodef.thy Thu Mar 15 20:07:00 2012 +0100 +++ b/src/HOL/HOLCF/Cpodef.thy Thu Mar 15 22:08:53 2012 +0100 @@ -6,6 +6,7 @@ theory Cpodef imports Adm +keywords "pcpodef" "cpodef" :: thy_goal uses ("Tools/cpodef.ML") begin