(* 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"];