isabelle: Changelog

huffman [Wed, 20 Jun 2007 05:06:56 +0200] rev 23430

section headings

huffman [Wed, 20 Jun 2007 05:06:16 +0200] rev 23429

simplify some proofs

wenzelm [Tue, 19 Jun 2007 23:21:39 +0200] rev 23428

oops -- fixed profiling;

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);

isabelle