| Wed, 18 Feb 2004 10:40:29 +0100 |
paulson |
removed obsolete theorem
|
changeset |
files
|
| Tue, 17 Feb 2004 17:41:30 +0100 |
berghofe |
Moved application of flexflex_unique from standard' to standard.
|
changeset |
files
|
| Tue, 17 Feb 2004 10:41:59 +0100 |
paulson |
further tweaks to the numeric theories
|
changeset |
files
|
| Mon, 16 Feb 2004 15:24:03 +0100 |
paulson |
arith
|
changeset |
files
|
| Mon, 16 Feb 2004 03:25:52 +0100 |
kleing |
lemmas about card (set xs)
|
changeset |
files
|
| Sun, 15 Feb 2004 10:46:37 +0100 |
paulson |
Polymorphic treatment of binary arithmetic using axclasses
|
changeset |
files
|
| Sat, 14 Feb 2004 02:06:12 +0100 |
nipkow |
Removed dangling exception handler
|
changeset |
files
|
| Thu, 12 Feb 2004 00:28:23 +0100 |
nipkow |
Missing } inserted
|
changeset |
files
|
| Wed, 11 Feb 2004 17:39:00 +0100 |
berghofe |
Removed "duplicate fact binding" error message.
|
changeset |
files
|
| Wed, 11 Feb 2004 17:38:21 +0100 |
berghofe |
Printing functions now use cond_extrn instead of extrn
|
changeset |
files
|
| Wed, 11 Feb 2004 17:36:08 +0100 |
berghofe |
Added flag short_names
|
changeset |
files
|
| Wed, 11 Feb 2004 01:26:15 +0100 |
nipkow |
Modified UN and INT xsymbol syntax: made index subscript
|
changeset |
files
|
| Wed, 11 Feb 2004 00:37:18 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 10 Feb 2004 12:17:04 +0100 |
paulson |
updated links to the old ftp site
|
changeset |
files
|