Mon, 21 May 2001 14:53:30 +0200 |
paulson |
if_splits and split_if_asm
|
changeset |
files
|
Mon, 21 May 2001 14:53:11 +0200 |
paulson |
fixed the X-symbol syntax for lambda
|
changeset |
files
|
Mon, 21 May 2001 14:52:27 +0200 |
paulson |
the rest of integer division
|
changeset |
files
|
Mon, 21 May 2001 14:52:04 +0200 |
paulson |
X-symbols for set theory
|
changeset |
files
|
Mon, 21 May 2001 14:51:46 +0200 |
paulson |
X-symbols for ZF
|
changeset |
files
|
Mon, 21 May 2001 14:46:30 +0200 |
paulson |
X-symbols for ZF
|
changeset |
files
|
Mon, 21 May 2001 14:45:52 +0200 |
paulson |
X-symbols for set theory
|
changeset |
files
|
Mon, 21 May 2001 14:36:24 +0200 |
paulson |
X-symbols for set theory
|
changeset |
files
|
Mon, 21 May 2001 14:35:54 +0200 |
paulson |
Division examples
|
changeset |
files
|
Mon, 21 May 2001 12:51:15 +0200 |
paulson |
ZF: division
|
changeset |
files
|
Sun, 20 May 2001 13:16:27 +0200 |
paulson |
new theorem dvd_mult_right
|
changeset |
files
|
Sun, 20 May 2001 11:20:41 +0200 |
nipkow |
added (no)_type_brackets
|
changeset |
files
|