doc-src/TutorialI/Inductive/ROOT.ML

more appropriate name for configuration option "meson_max_clauses" (cf. output of 'pront_configs');

use "../settings.ML";
use_thy "Even";
use_thy "Mutual";
use_thy "Star";
use_thy "AB";
use_thy "Advanced";