improving merge of code specifications by removing code equations of constructors after merging two theories
(* 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"];