1 use "../settings.ML";
2 use_thy "Even";
3 use_thy "Mutual";
4 use_thy "Star";
5 use_thy "AB";
6 use_thy "Advanced";
7