updated generated file;
removed obsolete Toplevel.print;
accomodate monolithic value command
proper position according to 11a4001b06c6;
proper Axclass.arity_axiomatization according to Isabelle/952833323c99;
tighter timeout, to avoid burning test cycles with this non-terminating entry;
adjusted to changes signature of static evaluation conversions
avoid aliases of well-known ML structures;
more antiquotations;
introduction of Bochner integral (Isabelle e5366291d6aa)
deleted an old proof about atoms that does not work anymore with the setup in Nominal2
deleted unused theories about executable permutations
renamed positive_integral to nn_integral (Isabelle 891e992e510f)
made Nominal2 independent from HOLCF, which should only be loaded whenever it is needed
merged
test
changed commands nominal_primrec to nominal_function and termination to nominal_termination
merged
adapted with respect of the change in command names (nominal_function, nominal_termination)
fixed HyperCTL using Isabelle/jEdit