2012-10-01 wenzelm [Mon, 01 Oct 2012 16:37:22 +0200] rev 49674
report sort assignment of visible type variables;
src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy src/Pure/Isar/proof_context.ML src/Pure/PIDE/isabelle_markup.ML src/Pure/PIDE/isabelle_markup.scala src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_phases.ML src/Pure/Syntax/term_position.ML src/Pure/pure_thy.ML src/Pure/term.ML src/Pure/variable.ML src/Tools/jEdit/src/isabelle_rendering.scala

2012-10-01 wenzelm [Mon, 01 Oct 2012 12:05:05 +0200] rev 49673
more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif";
src/Pure/General/file.scala

2012-10-01 blanchet [Mon, 01 Oct 2012 11:04:30 +0200] rev 49672
fixed recursor definition for datatypes with inner products (e.g. "'a trm" from the lambda-term example)
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML

2012-10-01 blanchet [Mon, 01 Oct 2012 10:46:30 +0200] rev 49671
tweaked corecursor/coiterator tactic
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML

2012-10-01 blanchet [Mon, 01 Oct 2012 10:34:58 +0200] rev 49670
changed the type of the recursor for nested recursion
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML

2012-09-30 blanchet [Sun, 30 Sep 2012 23:45:03 +0200] rev 49669
fixed quick-and-dirty mode
src/HOL/BNF/Tools/bnf_comp.ML

2012-09-30 blanchet [Sun, 30 Sep 2012 22:02:34 +0200] rev 49668
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML src/HOL/BNF/Tools/bnf_gfp.ML src/HOL/BNF/Tools/bnf_lfp.ML src/HOL/BNF/Tools/bnf_util.ML src/HOL/BNF/Tools/bnf_wrap.ML

2012-09-30 traytel [Sun, 30 Sep 2012 12:08:16 +0200] rev 49667
use Thm.close_derivation in theorems proved using Skip_Proof.prove; tuned signature;
src/HOL/BNF/Tools/bnf_wrap.ML src/HOL/BNF/Tools/bnf_wrap_tactics.ML

2012-09-30 traytel [Sun, 30 Sep 2012 12:04:47 +0200] rev 49666
got rid of subst_tac alias
src/HOL/BNF/Tools/bnf_tactics.ML

2012-09-30 traytel [Sun, 30 Sep 2012 12:04:13 +0200] rev 49665
tuned tactic
src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML