isabelle: Changelog

nipkow [Wed, 26 Jul 2006 09:50:23 +0200] rev 20212

Removed wrong sentence (Simon Funke)

wenzelm [Wed, 26 Jul 2006 00:44:49 +0200] rev 20211

moved pprint functions to Isar/proof_display.ML;

wenzelm [Wed, 26 Jul 2006 00:44:48 +0200] rev 20210

Tactical operations depending on local subgoal structure.

wenzelm [Wed, 26 Jul 2006 00:44:47 +0200] rev 20209

moved pprint functions to Isar/proof_display.ML; added primitive add_assumes; tuned internal prems: no names;

wenzelm [Wed, 26 Jul 2006 00:44:46 +0200] rev 20208

export goal_tac (was internal refine_tac);

wenzelm [Wed, 26 Jul 2006 00:44:44 +0200] rev 20207

added Pure/subgoal.ML;

wenzelm [Tue, 25 Jul 2006 23:17:42 +0200] rev 20206

updated;

wenzelm [Tue, 25 Jul 2006 23:17:41 +0200] rev 20205

raw symbols: disallow dot to avoid confusion in NameSpace.unpack;

wenzelm [Tue, 25 Jul 2006 21:18:12 +0200] rev 20204

avoid Term.is_funtype;

wenzelm [Tue, 25 Jul 2006 21:18:11 +0200] rev 20203

avoid structure Char;

isabelle