src/HOL/NSA/transfer.ML
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-03-22 wenzelm 2014-03-22 more antiquotations;
2013-12-14 wenzelm 2013-12-14 proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; clarified tool context in some boundary cases;
2012-04-12 wenzelm 2012-04-12 more standard method setup;
2012-04-04 huffman 2012-04-04 rename ML structure to avoid shadowing earlier name
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-12-17 wenzelm 2010-12-17 renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
2010-07-08 haftmann 2010-07-08 tuned titles
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-03-07 wenzelm 2010-03-07 modernized structure Local_Defs;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-03-15 wenzelm 2009-03-15 simplified attribute setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory