New code to store theorem names in a concise form rather than as fully-qualified.
Meson.is_fol_term now takes a theory as argument.
(* Title: HOL/Nominal/nominal_atoms.ML
ID: $Id$
Author: Stefan Berghofer and Christian Urban, TU Muenchen
The nominal datatype package.
*)
no_document use_thy "Infinite_Set";
use_thy "Nominal";