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