| changeset 42651 | e3fdb7c96be5 |
| parent 38767 | d8da44a8dd25 |
| child 42915 | f35aae36cad0 |
| 42650:552eae49f97d | 42651:e3fdb7c96be5 |
|---|---|
1 quick_and_dirty := true; |
1 quick_and_dirty := true; |
2 Thy_Output.source_default := true; |
|
3 use "../../antiquote_setup.ML"; |
|
4 |
2 |
5 use_thys [ |
3 use_thys [ |
6 "Introduction", |
4 "Introduction", |
7 "Framework", |
5 "Framework", |
8 "First_Order_Logic", |
6 "First_Order_Logic", |