| Sat, 15 Jul 2006 18:17:47 +0200 | webertj | function butlast added | changeset | files |
| Sat, 15 Jul 2006 15:26:50 +0200 | paulson | Replaced a-lists by tables to improve efficiency | changeset | files |
| Sat, 15 Jul 2006 13:52:10 +0200 | mengj | Pass user lemmas' names to ResHolClause.tptp_write_file and dfg_write_file. | changeset | files |
| Sat, 15 Jul 2006 13:50:26 +0200 | mengj | Only include combinators if required by goals and user specified lemmas. | changeset | files |
| 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 |