tuned whitespace;
authorwenzelm
Fri, 07 Sep 2018 20:15:17 +0200
changeset 68933 f50d98a0e140
parent 68932 e609c3dec6f8
child 68934 b825fa94fe56
child 68935 7a420bee1eea
tuned whitespace;
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
 *)