src/HOL/Tools/Function/function_lib.ML
Fri, 21 Mar 2014 20:33:56 +0100 wenzelm more qualified names;
Tue, 31 Dec 2013 14:29:16 +0100 wenzelm proper context for norm_hhf and derived operations;
Sat, 14 Dec 2013 17:28:05 +0100 wenzelm proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
Tue, 12 Nov 2013 14:24:34 +0100 blanchet ported part of function package to new 'Ctr_Sugar' abstraction
Tue, 12 Nov 2013 14:00:56 +0100 blanchet undid copy-paste
Sun, 16 Oct 2011 18:48:30 +0200 wenzelm added Term.dummy_pattern conveniences;
Wed, 27 Apr 2011 23:04:28 +0200 wenzelm merged
less more (0) -10 -7 tip