Thu, 26 Aug 1999 19:04:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 26 Aug 1999 19:04:19 +0200 |
wenzelm |
iff_attrib_setup;
|
changeset |
files
|
Thu, 26 Aug 1999 19:02:21 +0200 |
wenzelm |
improved back, help;
|
changeset |
files
|
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
|
Wed, 25 Aug 1999 20:39:50 +0200 |
wenzelm |
improved msg;
|
changeset |
files
|
Wed, 25 Aug 1999 20:39:18 +0200 |
wenzelm |
fixed arity;
|
changeset |
files
|
Wed, 25 Aug 1999 20:38:56 +0200 |
wenzelm |
expand_classes renamed to intro_classes;
|
changeset |
files
|
Wed, 25 Aug 1999 18:53:49 +0200 |
wenzelm |
TPHOLs99;
|
changeset |
files
|
Wed, 25 Aug 1999 17:33:21 +0200 |
berghofe |
Removed "Adding axioms ..." message.
|
changeset |
files
|
Wed, 25 Aug 1999 17:11:42 +0200 |
wenzelm |
hide private parts;
|
changeset |
files
|
Wed, 25 Aug 1999 11:09:24 +0200 |
paulson |
another snapshot
|
changeset |
files
|
Wed, 25 Aug 1999 11:04:28 +0200 |
paulson |
arguably clearer definition of the inductive case of
|
changeset |
files
|
Wed, 25 Aug 1999 11:02:37 +0200 |
paulson |
tidied
|
changeset |
files
|
Wed, 25 Aug 1999 11:01:09 +0200 |
paulson |
new guarantees laws; also better natural deduction style for old ones
|
changeset |
files
|
Wed, 25 Aug 1999 10:59:32 +0200 |
paulson |
renamed some theorems; also better natural deduction style for old ones
|
changeset |
files
|
Wed, 25 Aug 1999 10:58:08 +0200 |
paulson |
project constants
|
changeset |
files
|
Wed, 25 Aug 1999 10:57:06 +0200 |
paulson |
many "project" laws
|
changeset |
files
|
Wed, 25 Aug 1999 10:55:02 +0200 |
paulson |
new guarantees laws; also better natural deduction style for old ones
|
changeset |
files
|
Wed, 25 Aug 1999 10:53:19 +0200 |
paulson |
split_paired_Eps and lemmas
|
changeset |
files
|