1
use "../settings.ML";
2
use_thy "Typedef";
3
use_thy "Overloading0";
4
use_thy "Overloading2";
5
use_thy "Axioms";