| Fri, 14 Jul 2006 14:37:15 +0200 | ballarin | Term.term_lpo takes order on terms rather than strings as argument. | changeset | files |
| Fri, 14 Jul 2006 14:19:48 +0200 | wenzelm | keep/transaction: unified execution model (with debugging etc.); | changeset | files |
| Fri, 14 Jul 2006 13:51:30 +0200 | webertj | trivial whitespace changes | changeset | files |
| Fri, 14 Jul 2006 12:18:33 +0200 | wenzelm | simp method: depth_limit; | changeset | files |
| Thu, 13 Jul 2006 17:39:56 +0200 | paulson | "conjecture" must be lower case | changeset | files |
| Thu, 13 Jul 2006 13:42:05 +0200 | wenzelm | tuned insert_list; | changeset | files |