moved material about old codegen to isar-ref manual;
eliminated old rail diagram;
(* Title: HOL/Nominal/ROOT.ML
Author: Stefan Berghofer and Christian Urban, TU Muenchen
The nominal datatype package.
*)
no_document use_thys ["~~/src/HOL/Library/Infinite_Set"];
use_thys ["Nominal"];