2013-12-14 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | file | diff | annotate |
2013-07-27 | wenzelm | standardized aliases; | file | diff | annotate |
2012-08-23 | wenzelm | prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f); | file | diff | annotate |
2011-11-06 | wenzelm | more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute; | file | diff | annotate |
2011-08-01 | nipkow | infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names | file | diff | annotate |
2011-04-16 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
2011-03-03 | wenzelm | observe standard header format; | file | diff | annotate |
2010-12-08 | noschinl | introduce attribute case_prod for combining case rules | file | diff | annotate |