tuned whitespace;
authorwenzelm
Thu Mar 14 16:35:58 2019 +0100 (2 months ago)
changeset 69912dd55d2c926d9
parent 69907 4343c1bfa52d
child 69913 ca515cf61651
tuned whitespace;
src/HOL/Types_To_Sets/Examples/Prerequisites.thy
     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