changeset 30240 | 5b25fee0362c |
parent 20472 | e993073eda4c |
child 30242 | aea5d7fa7ef5 |
30239:179ff9cb160b | 30240:5b25fee0362c |
---|---|
1 |
1 use_thys [ |
2 (* $Id$ *) |
2 "Integration", |
3 |
3 "Isar", |
4 use_thy "prelim"; |
4 "Local_Theory", |
5 use_thy "logic"; |
5 "Logic", |
6 use_thy "tactic"; |
6 "ML", |
7 use_thy "proof"; |
7 "Prelim", |
8 use_thy "isar"; |
8 "Proof", |
9 use_thy "locale"; |
9 "Syntax", |
10 use_thy "integration"; |
10 "Tactic" |
11 use_thy "ML"; |
11 ]; |