| Wed, 20 Jun 2007 05:06:16 +0200 | huffman | simplify some proofs | changeset | files |
| Tue, 19 Jun 2007 23:21:39 +0200 | wenzelm | oops -- fixed profiling; | changeset | files |
| Tue, 19 Jun 2007 23:16:14 +0200 | wenzelm | Balanced binary trees (material from library.ML); | changeset | files |
| Tue, 19 Jun 2007 23:15:59 +0200 | wenzelm | profiling: observe no_timing; | changeset | files |
| Tue, 19 Jun 2007 23:15:57 +0200 | wenzelm | added raw_tactic; | changeset | files |
| Tue, 19 Jun 2007 23:15:54 +0200 | wenzelm | moved balanced tree operations to General/balanced_tree.ML; | changeset | files |
| Tue, 19 Jun 2007 23:15:51 +0200 | wenzelm | added with_subgoal; | changeset | files |
| Tue, 19 Jun 2007 23:15:49 +0200 | wenzelm | balanced conjunctions; | changeset | files |
| Tue, 19 Jun 2007 23:15:47 +0200 | wenzelm | balanced conjunctions; | changeset | files |
| Tue, 19 Jun 2007 23:15:43 +0200 | wenzelm | added General/balanced_tree.ML; | changeset | files |
| Tue, 19 Jun 2007 23:15:38 +0200 | wenzelm | BalancedTree; | changeset | files |
| Tue, 19 Jun 2007 23:15:27 +0200 | wenzelm | balanced conjunctions; | changeset | files |