# HG changeset patch
# User wenzelm
# Date 1536344117 -7200
# Node ID f50d98a0e14084a845b779d549eb8e48def2cdc7
# Parent  e609c3dec6f828c0bc7dc5ffb74564bd23c62139
tuned whitespace;

diff -r e609c3dec6f8 -r f50d98a0e140 src/HOL/Library/Nonpos_Ints.thy
--- a/src/HOL/Library/Nonpos_Ints.thy	Fri Sep 07 20:14:22 2018 +0200
+++ b/src/HOL/Library/Nonpos_Ints.thy	Fri Sep 07 20:15:17 2018 +0200
@@ -1,4 +1,4 @@
-  (*  Title:    HOL/Library/Nonpos_Ints.thy
+(*  Title:    HOL/Library/Nonpos_Ints.thy
     Author:   Manuel Eberl, TU München
 *)