1 (* ID: $Id$ *)
2 use_thy "IFOL_examples";
1 use_thy "IFOL_examples";
3 use_thy "FOL_examples";
2 use_thy "FOL_examples";
4 use_thy "ZF_examples";
3 use_thy "ZF_examples";
5 use_thy "If";
4 use_thy "If";