src/Pure/Tools/rule_insts.ML
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-09 wenzelm 2014-11-09 proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);
2014-11-08 wenzelm 2014-11-08 optional proof context for unify operations, for the sake of proper local options;
2014-08-21 wenzelm 2014-08-21 discontinued odd "temporary" workaround from 2006 (6ac7a4fc32a0), which has no measurable relevance;
2014-01-27 wenzelm 2014-01-27 tuned;
2014-01-26 wenzelm 2014-01-26 tuned signature;
2014-01-25 wenzelm 2014-01-25 explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
2014-01-22 wenzelm 2014-01-22 tuned signature;
2013-09-18 wenzelm 2013-09-18 more antiquotations; tuned signature;
2013-09-18 wenzelm 2013-09-18 moved module into plain Isabelle/ML user space;