isabelle: Changelog

wenzelm [Tue, 19 Jun 2007 23:16:14 +0200] rev 23427

Balanced binary trees (material from library.ML);

wenzelm [Tue, 19 Jun 2007 23:15:59 +0200] rev 23426

profiling: observe no_timing;

wenzelm [Tue, 19 Jun 2007 23:15:57 +0200] rev 23425

added raw_tactic;

wenzelm [Tue, 19 Jun 2007 23:15:54 +0200] rev 23424

moved balanced tree operations to General/balanced_tree.ML;

wenzelm [Tue, 19 Jun 2007 23:15:51 +0200] rev 23423

added with_subgoal;

wenzelm [Tue, 19 Jun 2007 23:15:49 +0200] rev 23422

balanced conjunctions; tuned interfaces; tuned;

wenzelm [Tue, 19 Jun 2007 23:15:47 +0200] rev 23421

balanced conjunctions; added split_defined (from conjunction.ML);

wenzelm [Tue, 19 Jun 2007 23:15:43 +0200] rev 23420

added General/balanced_tree.ML;

wenzelm [Tue, 19 Jun 2007 23:15:38 +0200] rev 23419

BalancedTree;

wenzelm [Tue, 19 Jun 2007 23:15:27 +0200] rev 23418

balanced conjunctions;

isabelle