1 use_thys [
2 "Eq",
3 "Integration",
4 "Isar",
5 "Local_Theory",
6 "Logic",
7 "ML",
8 "Prelim",
9 "Proof",
10 "Syntax",
11 "Tactic"
12 ];