# HG changeset patch
# User wenzelm
# Date 1552577758 -3600
# Node ID dd55d2c926d96d3eb78fb1b7caa6a12f0fb89636
# Parent  4343c1bfa52d63a9a9a2d50361005e27bc129893
tuned whitespace;

diff -r 4343c1bfa52d -r dd55d2c926d9 src/HOL/Types_To_Sets/Examples/Prerequisites.thy
--- 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