src/HOL/Eisbach/Tests.thy
2019-01-05 wenzelm isabelle update -u control_cartouches;
2018-10-31 wenzelm clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
2016-05-31 matichuk allow multiple recursive methods to co-exist in order to support mutual recursion;
2016-05-30 matichuk apply current morphism to method text before evaluating;
2016-01-06 wenzelm more systematic treatment of dynamic facts, when forming closure;
2016-01-05 wenzelm added ML antiquotation @{method};
2016-01-05 wenzelm more realistic Eisbach method invocation from ML;
2015-12-22 wenzelm more standard nesting of sub-language: Parse.text allows atomic entities without quotes;
2015-12-09 wenzelm tuned;
2015-10-06 wenzelm fewer aliases for toplevel theorem statements;
2015-05-17 wenzelm updated Eisbach, using version 134bc592909c of its Bitbucket repository;
2015-05-16 wenzelm updated Eisbach, using version 4863020a8fe9 of its Bitbucket repository;
2015-05-03 wenzelm updated Eisbach, using version fb741500f533 of its Bitbucket repository;
2015-04-30 wenzelm updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository;
2015-04-17 wenzelm added Eisbach, using version 3752768caa17 of its Bitbucket repository;
less more (0) tip