paulson@14152: (* ID:         $Id$ *)
paulson@14152: use_thy "IFOL_examples";
paulson@14152: use_thy "FOL_examples";
paulson@14152: use_thy "ZF_examples";
paulson@14152: use_thy "If";