# HG changeset patch
# User wenzelm
# Date 1459804123 -7200
# Node ID b2f951051472af998cb2b838658f64637acc93f9
# Parent  d72a6f9ee6905db8febaed97eea1788aa77c4508
tuned whitespace;

diff -r d72a6f9ee690 -r b2f951051472 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Mon Apr 04 22:55:50 2016 +0200
+++ b/src/Pure/Pure.thy	Mon Apr 04 23:08:43 2016 +0200
@@ -5,7 +5,7 @@
 *)
 
 theory Pure
-  keywords
+keywords
     "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<comment>" "\<equiv>"
     "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>"
     "\<subseteq>" "]" "assumes" "attach" "binder" "constrains"