Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 file | annotate | diff | comparison | revisions 
--- 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
 *)
isabelle