| Thu, 26 Aug 1999 19:01:58 +0200 |
wenzelm |
print_help;
|
changeset |
files
|
| Thu, 26 Aug 1999 19:01:22 +0200 |
wenzelm |
back: recur flag;
|
changeset |
files
|
| Thu, 26 Aug 1999 11:46:04 +0200 |
paulson |
a bit further with property (1)
|
changeset |
files
|
| Thu, 26 Aug 1999 11:39:18 +0200 |
paulson |
changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE
|
changeset |
files
|
| Thu, 26 Aug 1999 11:37:43 +0200 |
paulson |
new destruction rules
|
changeset |
files
|
| Thu, 26 Aug 1999 11:37:22 +0200 |
paulson |
new laws; changed "guar" back to "guarantees" (sorry)
|
changeset |
files
|
| Thu, 26 Aug 1999 11:36:04 +0200 |
paulson |
changed "guar" back to "guarantees" (sorry)
|
changeset |
files
|
| Thu, 26 Aug 1999 11:34:17 +0200 |
paulson |
more Join rules including AC-rules
|
changeset |
files
|
| Thu, 26 Aug 1999 11:33:24 +0200 |
paulson |
extra syntax for JN, making it more like UN
|
changeset |
files
|
| Thu, 26 Aug 1999 11:32:39 +0200 |
paulson |
a little tidying; also FIXED BAD TYPE in INTER1, UNION1
|
changeset |
files
|
| Wed, 25 Aug 1999 20:49:02 +0200 |
wenzelm |
proper bootstrap of HOL theory and packages;
|
changeset |
files
|
| Wed, 25 Aug 1999 20:46:40 +0200 |
wenzelm |
expand_classes renamed to intro_classes;
|
changeset |
files
|
| Wed, 25 Aug 1999 20:45:19 +0200 |
wenzelm |
proper bootstrap of IFOL/FOL theories and packages;
|
changeset |
files
|
| Wed, 25 Aug 1999 20:42:01 +0200 |
wenzelm |
proper setup of GlobalClaset data;
|
changeset |
files
|