1
(* ID: $Id$ *)
2
use "../settings.ML";
3
use_thy "Numbers";
4
use_thy "Pairs";
5
use_thy "Records";
6
use_thy "Typedef";
7
use_thy "Overloading0";
8
use_thy "Overloading2";
9
use_thy "Axioms";