2007-06-19 agobalanced conjunctions;
wenzelm [Tue, 19 Jun 2007 23:15:47 +0200] rev 23421
balanced conjunctions;
added split_defined (from conjunction.ML);

2007-06-19 agoadded General/balanced_tree.ML;
wenzelm [Tue, 19 Jun 2007 23:15:43 +0200] rev 23420
added General/balanced_tree.ML;

2007-06-19 agoBalancedTree;
wenzelm [Tue, 19 Jun 2007 23:15:38 +0200] rev 23419
BalancedTree;

2007-06-19 agobalanced conjunctions;
wenzelm [Tue, 19 Jun 2007 23:15:27 +0200] rev 23418
balanced conjunctions;

2007-06-19 agotuned;
wenzelm [Tue, 19 Jun 2007 23:15:23 +0200] rev 23417
tuned;

2007-06-19 agogeneralized proofs so that call graphs can have any node type.
krauss [Tue, 19 Jun 2007 18:00:49 +0200] rev 23416
generalized proofs so that call graphs can have any node type.

2007-06-19 agomacbroy5: trying -j 2;
wenzelm [Tue, 19 Jun 2007 00:02:16 +0200] rev 23415
macbroy5: trying -j 2;

2007-06-18 agotuned conjunction tactics: slightly smaller proof terms;
wenzelm [Mon, 18 Jun 2007 23:30:46 +0200] rev 23414
tuned conjunction tactics: slightly smaller proof terms;

2007-06-17 agotuned laws for cancellation in divisions for fields.
nipkow [Sun, 17 Jun 2007 18:47:03 +0200] rev 23413
tuned laws for cancellation in divisions for fields.

2007-06-17 agomoved nonzero_mult_divide_cancel_right to Ring_and_Field as nonzero_mult_divide_cancel_right'; tuned proofs
chaieb [Sun, 17 Jun 2007 13:39:50 +0200] rev 23412
moved nonzero_mult_divide_cancel_right to Ring_and_Field as nonzero_mult_divide_cancel_right'; tuned proofs