| Mon, 23 Feb 2009 07:58:13 -0800 |
huffman |
change imports to move Fact.thy outside Plain
|
changeset |
files
|
| Mon, 23 Feb 2009 07:19:53 -0800 |
huffman |
add lemmas poly_{div,mod}_minus_{left,right}
|
changeset |
files
|
| Mon, 23 Feb 2009 06:51:26 -0800 |
huffman |
merged
|
changeset |
files
|
| Sun, 22 Feb 2009 12:48:49 -0800 |
huffman |
declare scaleR distrib rules [algebra_simps]; cleaned up
|
changeset |
files
|
| Sun, 22 Feb 2009 12:16:51 -0800 |
huffman |
clean up instantiations
|
changeset |
files
|
| Sun, 22 Feb 2009 12:03:20 -0800 |
huffman |
merged
|
changeset |
files
|
| Sun, 22 Feb 2009 10:53:10 -0800 |
huffman |
simplify some proofs
|
changeset |
files
|
| Sun, 22 Feb 2009 08:52:44 -0800 |
huffman |
remove duplicate instance declaration
|
changeset |
files
|
| Mon, 23 Feb 2009 10:07:57 +0100 |
haftmann |
stripped classrels_of, instances_of
|
changeset |
files
|
| Mon, 23 Feb 2009 08:19:25 +0100 |
haftmann |
use canonical subalgebra projection
|
changeset |
files
|
| Sun, 22 Feb 2009 22:32:50 +0100 |
haftmann |
experimental switch to new well-sorting algorithm
|
changeset |
files
|
| Sun, 22 Feb 2009 18:16:32 +0100 |
haftmann |
handle NONE case in arity function properly
|
changeset |
files
|
| Sun, 22 Feb 2009 18:02:21 +0100 |
haftmann |
clarified status of variables in evaluation terms; tuned header
|
changeset |
files
|
| Sun, 22 Feb 2009 18:00:05 +0100 |
haftmann |
subalgebra: drop arities if desired
|
changeset |
files
|
| Sun, 22 Feb 2009 17:33:16 +0100 |
haftmann |
merged
|
changeset |
files
|