| changeset 25 | e2f9f94b26d4 |
| parent 20 | 5ae6a1bb91c9 |
| child 43 | 02f76f1b6e7b |
| 24:9d5d2f9d7c09 | 25:e2f9f94b26d4 |
|---|---|
1 |
|
2 theory NamedThms |
1 theory NamedThms |
3 imports Main |
2 imports Base |
4 uses "antiquote_setup.ML" |
|
5 "antiquote_setup_plus.ML" |
|
6 begin |
3 begin |
7 |
4 |
8 section {* Accumulate a List of Theorems under a Name *} |
5 section {* Accumulate a List of Theorems under a Name *} |
9 |
6 |
10 |
7 |