discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
(* 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"];