changeset 11349 | fcb507c945c3 |
parent 11053 | 026007eb2ccc |
child 11368 | 9c1995c73383 |
11348:e08a0855af67 | 11349:fcb507c945c3 |
---|---|
13 |
13 |
14 \title{The Supplemental Isabelle/HOL Library} |
14 \title{The Supplemental Isabelle/HOL Library} |
15 \author{ |
15 \author{ |
16 Gertrud Bauer \\ |
16 Gertrud Bauer \\ |
17 Tobias Nipkow \\ |
17 Tobias Nipkow \\ |
18 David von Oheimb\\ |
|
18 Lawrence C Paulson \\ |
19 Lawrence C Paulson \\ |
19 Thomas M Rasmussen \\ |
20 Thomas M Rasmussen \\ |
20 Markus Wenzel} |
21 Markus Wenzel} |
21 \maketitle |
22 \maketitle |
22 |
23 |