doc-src/Exercises/2000/a1/ROOT.ML

Conversion of ZF/UNITY/{FP,Union} to Isar script.
Introduction of X-symbols to the ML files.

set quick_and_dirty;
use_thy "Snoc";
use_thy "Arithmetic";
use_thy "Hanoi";