# HG changeset patch
# User wenzelm
# Date 1661979643 -7200
# Node ID c2812ca1a455c835a6e0d4034b4cd576b06ea23c
# Parent  42e3c5f9e4c60c9e1b3f8913b58d4fa54f4e41ce
tuned whitespace;

diff -r 42e3c5f9e4c6 -r c2812ca1a455 src/HOL/Library/NList.thy
--- 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
 *)