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
Wed, 31 Aug 2022 23:00:43 +0200
changeset 76032 c2812ca1a455
parent 76031 42e3c5f9e4c6
child 76033 97b6daab0233
tuned whitespace;
src/HOL/Library/NList.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/NList.thy	Wed Aug 31 23:00:14 2022 +0200
+++ b/src/HOL/Library/NList.thy	Wed Aug 31 23:00:43 2022 +0200
@@ -1,4 +1,4 @@
-(* Author:     Tobias Nipkow
+(*  Author:     Tobias Nipkow
     Copyright   2000 TUM
 *)
isabelle