Summary
- proper noWordSep as in "isabelle" mode (cf. 5024d0c48e02);
- merged
- NEWS;
- tuned proofs;
- provide dynamic facts in static context, to allow use of method_facts during static closure;
- tuned;
- clarified signature;
- less ambitious arguments: thms only, no context declaration;
- added method operator "use";
- clarified signature;
- clean facts more uniformly;
- expode method_facts via dynamic method context;
- tuned;