Sun, 22 Feb 2009 09:52:28 +0100 |
nipkow |
name fix
|
changeset |
files
|
Sat, 21 Feb 2009 16:51:42 -0800 |
huffman |
fix spelling
|
changeset |
files
|
Sat, 21 Feb 2009 15:39:59 -0800 |
huffman |
real_inner class instance for vectors
|
changeset |
files
|
Sat, 21 Feb 2009 21:00:50 +0100 |
nipkow |
NEWS
|
changeset |
files
|
Sat, 21 Feb 2009 20:52:40 +0100 |
nipkow |
merged
|
changeset |
files
|
Sat, 21 Feb 2009 20:52:30 +0100 |
nipkow |
Removed subsumed lemmas
|
changeset |
files
|
Sat, 21 Feb 2009 11:18:50 -0800 |
huffman |
remove duplicated lemmas about norm
|
changeset |
files
|
Sat, 21 Feb 2009 10:58:25 -0800 |
huffman |
real_normed_vector instance
|
changeset |
files
|
Sat, 21 Feb 2009 09:55:32 -0800 |
huffman |
fix real_vector, real_algebra instances
|
changeset |
files
|
Sat, 21 Feb 2009 09:17:33 -0800 |
huffman |
merged
|
changeset |
files
|
Fri, 20 Feb 2009 22:25:36 -0800 |
huffman |
generalize lemmas from nat to 'a::wellorder
|
changeset |
files
|
Fri, 20 Feb 2009 22:10:37 -0800 |
huffman |
generalize some lemmas
|
changeset |
files
|
Sat, 21 Feb 2009 09:58:45 +0100 |
nipkow |
merged
|
changeset |
files
|
Sat, 21 Feb 2009 09:58:26 +0100 |
nipkow |
removed redundant thms
|
changeset |
files
|
Fri, 20 Feb 2009 16:07:20 -0800 |
huffman |
merged
|
changeset |
files
|