isabelle: Changelog

wenzelm [Sun, 23 Sep 2007 23:39:42 +0200] rev 24687

removed dead code; tuned;

wenzelm [Sun, 23 Sep 2007 23:00:01 +0200] rev 24686

made smlnj happy;

wenzelm [Sun, 23 Sep 2007 22:23:37 +0200] rev 24685

tuned @{cpat};

wenzelm [Sun, 23 Sep 2007 22:23:35 +0200] rev 24684

added read_term_pattern/schematic/abbrev; prepare_patterns: Variable.polymorphic; removed obsolete cert/pats versions;

wenzelm [Sun, 23 Sep 2007 22:23:34 +0200] rev 24683

ProofContext.read_term_pattern;

wenzelm [Sun, 23 Sep 2007 22:23:33 +0200] rev 24682

constrain: canonical argument order; removed obsolete logicT;

wenzelm [Sun, 23 Sep 2007 22:23:31 +0200] rev 24681

tuned;

wenzelm [Sun, 23 Sep 2007 22:23:27 +0200] rev 24680

TypeInfer.constrain: canonical argument order;

wenzelm [Sun, 23 Sep 2007 22:23:24 +0200] rev 24679

tuned ML setup;

urbanc [Sun, 23 Sep 2007 22:11:50 +0200] rev 24678

tuned one proof so to not run in a loop with the new atom-representation

isabelle