author | wenzelm |
Thu, 14 Mar 2019 16:35:58 +0100 (2019-03-14) | |
changeset 69912 | dd55d2c926d9 |
parent 69907 | 4343c1bfa52d |
child 69913 | ca515cf61651 |
--- a/src/HOL/Types_To_Sets/Examples/Prerequisites.thy Wed Mar 13 20:44:39 2019 +0100 +++ b/src/HOL/Types_To_Sets/Examples/Prerequisites.thy Thu Mar 14 16:35:58 2019 +0100 @@ -4,7 +4,7 @@ theory Prerequisites imports Main - keywords "lemmas_with"::thy_decl + keywords "lemmas_with" :: thy_decl begin context