| Fri, 19 Nov 1993 11:35:59 +0100 |
lcp |
Trivial spacing corrections
|
changeset |
files
|
| Fri, 19 Nov 1993 11:34:31 +0100 |
lcp |
Documents not, and, or, xor: boolean ops
|
changeset |
files
|
| Fri, 19 Nov 1993 11:31:10 +0100 |
lcp |
Many edits suggested by Grundy & Thompson
|
changeset |
files
|
| Fri, 19 Nov 1993 11:25:36 +0100 |
lcp |
expandshort and other trivial changes
|
changeset |
files
|
| Thu, 18 Nov 1993 18:48:23 +0100 |
lcp |
expandshort
|
changeset |
files
|
| Thu, 18 Nov 1993 14:57:05 +0100 |
lcp |
Misc modifs such as expandshort
|
changeset |
files
|
| Tue, 16 Nov 1993 19:50:20 +0100 |
clasohm |
added loaded_thys to signature and removed list_/set_loaded
|
changeset |
files
|
| Tue, 16 Nov 1993 14:26:15 +0100 |
clasohm |
changed use_thy's parameter to exact theory name
|
changeset |
files
|
| Tue, 16 Nov 1993 14:24:21 +0100 |
clasohm |
made pseudo theories for all ML files;
|
changeset |
files
|
| Tue, 16 Nov 1993 14:23:19 +0100 |
clasohm |
moved call of store_theory to end of use t.thy; use t.ML;
|
changeset |
files
|
| Tue, 16 Nov 1993 14:13:11 +0100 |
clasohm |
replaced \un by \union in "Simplification sets"
|
changeset |
files
|
| Tue, 16 Nov 1993 14:10:19 +0100 |
clasohm |
changed use_thy's parameter to exact theory name
|
changeset |
files
|
| Mon, 15 Nov 1993 14:41:25 +0100 |
lcp |
changed all co- and co_ to co
|
changeset |
files
|
| Mon, 15 Nov 1993 14:33:40 +0100 |
lcp |
boolE: changed to have equality assumptions instead of P(c); proved many boolean laws
|
changeset |
files
|