src/HOL/Typedef.thy
changeset 63434 c956d995bec6
parent 61799 4cf66f21b764
child 69605 a96320074298
     1.1 --- a/src/HOL/Typedef.thy	Mon Jul 11 10:43:27 2016 +0200
     1.2 +++ b/src/HOL/Typedef.thy	Mon Jul 11 10:43:54 2016 +0200
     1.3 @@ -6,7 +6,9 @@
     1.4  
     1.5  theory Typedef
     1.6  imports Set
     1.7 -keywords "typedef" :: thy_goal and "morphisms"
     1.8 +keywords
     1.9 +  "typedef" :: thy_goal and
    1.10 +  "morphisms" :: quasi_command
    1.11  begin
    1.12  
    1.13  locale type_definition =