- completed the list of thms for supp_atm
- cleaned up the way how thms are collected under single names
(* legacy ML bindings *)
val compact_ONE = thm "compact_ONE";
val dist_eq_one = thms "dist_eq_one";
val dist_less_one = thm "dist_less_one";
val Exh_one = thm "Exh_one";
val oneE = thm "oneE";