Mon, 22 May 2000 12:35:34 +0200 |
paulson |
loading the new theory MultisetOrder
|
changeset |
files
|
Mon, 22 May 2000 12:35:02 +0200 |
paulson |
multisets are partially ordered
|
changeset |
files
|
Mon, 22 May 2000 12:30:40 +0200 |
paulson |
Proving that multisets are partially ordered
|
changeset |
files
|
Mon, 22 May 2000 12:30:07 +0200 |
paulson |
Proving that multisets are partially ordered
|
changeset |
files
|
Mon, 22 May 2000 12:29:02 +0200 |
paulson |
psubsetI is a safe rule
|
changeset |
files
|
Mon, 22 May 2000 12:28:34 +0200 |
paulson |
new file Induct/MultisetOrder.thy
|
changeset |
files
|
Mon, 22 May 2000 12:27:11 +0200 |
paulson |
fold_commute, fold_nest_Un_Int, setsum_Un and other new results
|
changeset |
files
|
Mon, 22 May 2000 12:05:23 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 22 May 2000 12:05:12 +0200 |
wenzelm |
added NatClass;
|
changeset |
files
|
Mon, 22 May 2000 11:57:27 +0200 |
wenzelm |
show_consts no longer requires show_types;
|
changeset |
files
|
Mon, 22 May 2000 11:56:55 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 22 May 2000 10:31:44 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 22 May 2000 10:02:58 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Sun, 21 May 2000 21:49:06 +0200 |
wenzelm |
added notes;
|
changeset |
files
|
Sun, 21 May 2000 21:48:39 +0200 |
wenzelm |
new Isar version;
|
changeset |
files
|