--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/ZF/ROOT.ML Tue Aug 19 13:53:58 2003 +0200 @@ -0,0 +1,5 @@ +(* ID: $Id$ *) +use_thy "IFOL_examples"; +use_thy "FOL_examples"; +use_thy "ZF_examples"; +use_thy "If";