# HG changeset patch
# User wenzelm
# Date 1609625027 -3600
# Node ID 43c534bba4428294d162a7dfa488cb0f97b5f1ba
# Parent  d2690444c00ab32a0f2783c0910f92cd6cc66eb1
tuned whitespace (amending a4bffc0de967);

diff -r d2690444c00a -r 43c534bba442 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sat Jan 02 22:50:09 2021 +0100
+++ b/src/HOL/Library/Library.thy	Sat Jan 02 23:03:47 2021 +0100
@@ -1,4 +1,4 @@
-  (*<*)
+(*<*)
 theory Library
 imports
   AList