Tue, 06 Jul 2004 20:32:20 +0200 | schirmer | print_tac now outputs goals through trace-channel | changeset | files |
Tue, 06 Jul 2004 20:31:37 +0200 | schirmer | added flag unique_names | changeset | files |
Tue, 06 Jul 2004 20:31:06 +0200 | schirmer | * record_upd_simproc also simplifies trivial updates: | changeset | files |
Sat, 03 Jul 2004 15:26:58 +0200 | berghofe | Added delete operation. | changeset | files |
Thu, 01 Jul 2004 12:29:53 +0200 | paulson | new treatment of binary numerals | changeset | files |
Wed, 30 Jun 2004 14:04:58 +0200 | schirmer | Added reference record_definition_quick_and_dirty_sensitive, to | changeset | files |
Wed, 30 Jun 2004 00:42:59 +0200 | skalberg | Made simplification procedures simpset-aware. | changeset | files |