(* Title: HOL/Nominal/ROOT.ML ID: $Id$ Author: Stefan Berghofer and Christian Urban, TU Muenchen The nominal datatype package. *) no_document use_thy "Infinite_Set"; use_thy "Nominal";