src/HOL/Tools/Function/function_common.ML
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-04-28 krauss 2010-04-28 default termination prover as plain tactic
2010-01-02 krauss 2010-01-02 new year's resolution: reindented code in function package
2010-01-02 krauss 2010-01-02 provide simp and induct rules in Function.info
2010-01-02 krauss 2010-01-02 more official data record Function.info
2009-11-19 krauss 2009-11-19 check if equations are present for all functions to avoid low-level exception later
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-11-02 krauss 2009-11-02 conceal partial rules depending on config flag (i.e. when called via "fun")
2009-11-01 wenzelm 2009-11-01 adapted Item_Net; tuned;
2009-10-24 krauss 2009-10-24 configuration flag "partials"
2009-10-23 krauss 2009-10-23 function package: more standard names for structures and files