| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Thu, 12 Mar 2009 09:27:23 -0700 | huffman | remove trailing spaces | file | diff | annotate |
| Thu, 05 Mar 2009 08:24:28 +0100 | haftmann | merged | file | diff | annotate |
| Thu, 05 Mar 2009 08:23:10 +0100 | haftmann | tuned | file | diff | annotate |
| Wed, 04 Mar 2009 23:52:47 +0100 | wenzelm | removed old/broken CVS Ids; | file | diff | annotate |
| Wed, 04 Mar 2009 19:21:56 +0000 | chaieb | fixed proofs; added rules as default simp-rules | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Sun, 22 Feb 2009 08:52:44 -0800 | huffman | remove duplicate instance declaration | file | diff | annotate |
| Sat, 21 Feb 2009 15:39:59 -0800 | huffman | real_inner class instance for vectors | file | diff | annotate |
| Sat, 21 Feb 2009 11:18:50 -0800 | huffman | remove duplicated lemmas about norm | file | diff | annotate |
| Sat, 21 Feb 2009 10:58:25 -0800 | huffman | real_normed_vector instance | file | diff | annotate |
| Sat, 21 Feb 2009 09:55:32 -0800 | huffman | fix real_vector, real_algebra instances | file | diff | annotate |
| Fri, 13 Feb 2009 14:45:10 -0800 | huffman | section -> subsection | file | diff | annotate |
| Fri, 13 Feb 2009 14:41:54 -0800 | huffman | add instance for cancel_comm_monoid_add | file | diff | annotate |
| Thu, 12 Feb 2009 12:35:45 -0800 | huffman | fix document generation | file | diff | annotate |
| Mon, 09 Feb 2009 17:08:49 +0000 | chaieb | fixed proof -- removed unnecessary sorry | file | diff | annotate |
| Mon, 09 Feb 2009 16:54:03 +0000 | chaieb | (Real) Vectors in Euclidean space, and elementary linear algebra. | file | diff | annotate |