Mon, 31 Mar 1997 14:42:13 +0200 |
wenzelm |
simple_ast_of: fixed handling of loose Bounds;
|
changeset |
files
|
Sun, 30 Mar 1997 13:40:38 +0200 |
nipkow |
Replaced (s,t) : id by s=t.
|
changeset |
files
|
Thu, 27 Mar 1997 17:46:24 +0100 |
nipkow |
Optimized proofs.
|
changeset |
files
|
Thu, 27 Mar 1997 10:08:31 +0100 |
paulson |
Changes made necessary by the new ex1 rules
|
changeset |
files
|
Thu, 27 Mar 1997 10:07:11 +0100 |
paulson |
Now uses the alternative (safe!) rules for ex1
|
changeset |
files
|
Thu, 27 Mar 1997 10:06:36 +0100 |
paulson |
Updated comment
|
changeset |
files
|
Wed, 26 Mar 1997 18:51:57 +0100 |
nipkow |
Cleaned up a little.
|
changeset |
files
|
Wed, 26 Mar 1997 17:58:48 +0100 |
nipkow |
Added "discrete" CPOs and modified IMP to use those rather than "lift"
|
changeset |
files
|
Wed, 26 Mar 1997 13:44:05 +0100 |
slotosch |
generalized theorems and class instances for Cprod.
|
changeset |
files
|
Tue, 25 Mar 1997 11:19:09 +0100 |
slotosch |
changed some theorems from pcpo to cpo
|
changeset |
files
|
Tue, 25 Mar 1997 11:13:12 +0100 |
slotosch |
changed continuous functions from pcpo to cpo (including instances)
|
changeset |
files
|
Tue, 25 Mar 1997 10:43:01 +0100 |
paulson |
Trivial renamings (for consistency with CSFW papers)
|
changeset |
files
|
Tue, 25 Mar 1997 10:41:44 +0100 |
paulson |
Toby's better treatment of eta-contraction
|
changeset |
files
|
Mon, 24 Mar 1997 10:28:23 +0100 |
paulson |
Deleted needless parentheses
|
changeset |
files
|