doc-src/ZF/ROOT.ML

discontinued slightly odd write_prv, which would still write .prv files the first time, and deprive add-on tools from date stamp change (cf. 157e74588c49);

use_thy "IFOL_examples";
use_thy "FOL_examples";
use_thy "ZF_examples";
use_thy "If";