| changeset 42915 | f35aae36cad0 |
| parent 42651 | e3fdb7c96be5 |
| child 42917 | ba23e83b0868 |
| 42914:e6ed6b951201 | 42915:f35aae36cad0 |
|---|---|
1 quick_and_dirty := true; |
1 quick_and_dirty := true; |
2 |
2 |
3 use_thys [ |
3 use_thys [ |
4 "Introduction", |
4 "Preface", |
5 "Framework", |
5 "Framework", |
6 "First_Order_Logic", |
6 "First_Order_Logic", |
7 "Outer_Syntax", |
7 "Outer_Syntax", |
8 "Document_Preparation", |
8 "Document_Preparation", |
9 "Spec", |
9 "Spec", |