src/Pure/context_tactic.ML
9 months ago wenzelm 2019-08-13 added SUBPROOFS / "subproofs" method combinator, for more compact proofterms;
9 months ago wenzelm 2019-08-13 clarified modules;