changeset 11053 | 026007eb2ccc |
parent 10674 | 2cc6415c1801 |
child 11349 | fcb507c945c3 |
11052:1379e49c0ee9 | 11053:026007eb2ccc |
---|---|
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 Lawrence C Paulson \\ |
18 Lawrence C Paulson \\ |
19 Thomas M Rasmussen \\ |
|
19 Markus Wenzel} |
20 Markus Wenzel} |
20 \maketitle |
21 \maketitle |
21 |
22 |
22 \tableofcontents |
23 \tableofcontents |
23 \newpage |
24 \newpage |