| Tue, 06 Jul 2004 20:34:49 +0200 | schirmer | * Pure/Namespace: flag unique_names added | changeset | files |
| 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 |