src/HOL/Library/Library/document/root.tex
changeset 14589 feae7b5fd425
parent 12816 668073849ca9
child 14706 71590b7733b7
     1.1 --- a/src/HOL/Library/Library/document/root.tex	Fri Apr 16 12:09:31 2004 +0200
     1.2 +++ b/src/HOL/Library/Library/document/root.tex	Fri Apr 16 13:51:04 2004 +0200
     1.3 @@ -19,6 +19,8 @@
     1.4    David von Oheimb \\
     1.5    Lawrence C Paulson \\
     1.6    Thomas M Rasmussen \\
     1.7 +  Stefan Richter \\
     1.8 +  Sebastian Skalberg \\
     1.9    Christophe Tabacznyj \\
    1.10    Markus Wenzel}
    1.11  \maketitle