src/HOL/Types_To_Sets/Examples/Prerequisites.thy
changeset 69912 dd55d2c926d9
parent 69597 ff784d5a5bfb
     1.1 --- a/src/HOL/Types_To_Sets/Examples/Prerequisites.thy	Wed Mar 13 20:44:39 2019 +0100
     1.2 +++ b/src/HOL/Types_To_Sets/Examples/Prerequisites.thy	Thu Mar 14 16:35:58 2019 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  theory Prerequisites
     1.6    imports Main
     1.7 -  keywords "lemmas_with"::thy_decl
     1.8 +  keywords "lemmas_with" :: thy_decl
     1.9  begin
    1.10  
    1.11  context