explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
tuned;
(* 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"];