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