| 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
|
| 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
|
| Tue, 29 Jun 2004 11:18:34 +0200 |
kleing |
license change to BSD
|
changeset |
files
|
| Tue, 29 Jun 2004 10:07:56 +0200 |
obua |
support for sparse matrices
|
changeset |
files
|
| Mon, 28 Jun 2004 11:15:13 +0200 |
paulson |
new method for explicit classical resolution
|
changeset |
files
|
| Fri, 25 Jun 2004 15:03:05 +0200 |
paulson |
auto update
|
changeset |
files
|