| Thu, 22 Feb 2007 10:25:14 +0100 |
paulson |
Improved handling of situation when theorem in cache disagrees with theorem supplied: new clauses
|
changeset |
files
|
| Wed, 21 Feb 2007 13:51:12 +0100 |
krauss |
Fixed print translations for quantifiers a la "ALL x>=t. P x". These used
|
changeset |
files
|
| Wed, 21 Feb 2007 02:30:06 +0100 |
kleing |
prevent quadratic time removal of duplicates if filter list is empty (likely to have too many results)
|
changeset |
files
|
| Tue, 20 Feb 2007 00:53:18 +0100 |
kleing |
added missing \
|
changeset |
files
|
| Tue, 20 Feb 2007 00:23:58 +0100 |
kleing |
updated docs with new with_dups syntax for find_theorems
|
changeset |
files
|
| Tue, 20 Feb 2007 00:14:33 +0100 |
kleing |
Remove duplicates from printed theorems in find_theorems
|
changeset |
files
|
| Mon, 19 Feb 2007 16:44:08 +0100 |
schirmer |
more precise error message in parameter unification
|
changeset |
files
|
| Sat, 17 Feb 2007 18:01:22 +0100 |
aspinall |
Updated
|
changeset |
files
|
| Sat, 17 Feb 2007 18:00:59 +0100 |
aspinall |
Fix <pgipquit>. Remove unused pgmlatomsN. Make showid match askids. Use string functions for showid, avoiding printwrap kludge.
|
changeset |
files
|
| Sat, 17 Feb 2007 17:22:53 +0100 |
aspinall |
<idvalue>: add name attribute to allow unsolicited updates.
|
changeset |
files
|
| Sat, 17 Feb 2007 17:19:59 +0100 |
aspinall |
pretty_full_theory: expose in signature.
|
changeset |
files
|
| Sat, 17 Feb 2007 17:18:47 +0100 |
aspinall |
Clarify comment
|
changeset |
files
|
| Fri, 16 Feb 2007 22:46:03 +0100 |
wenzelm |
unified arity parser/arguments;
|
changeset |
files
|
| Fri, 16 Feb 2007 22:13:16 +0100 |
wenzelm |
ML text: informative Output.debug only;
|
changeset |
files
|
| Fri, 16 Feb 2007 22:13:15 +0100 |
wenzelm |
unified arity parser/arguments;
|
changeset |
files
|