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 |