renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
(* 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"];