| Wed, 03 Jun 2009 09:58:11 -0700 | huffman | replace class open with class topo | file | diff | annotate |
| Wed, 03 Jun 2009 08:43:01 -0700 | huffman | class real_inner derives from open_dist | file | diff | annotate |
| Thu, 28 May 2009 17:00:02 -0700 | huffman | move dist operation to new metric_space class | file | diff | annotate |
| Thu, 26 Mar 2009 20:08:55 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Sun, 22 Feb 2009 10:53:10 -0800 | huffman | simplify some proofs | file | diff | annotate |
| Sat, 21 Feb 2009 16:51:42 -0800 | huffman | fix spelling | file | diff | annotate |
| Thu, 19 Feb 2009 09:42:23 -0800 | huffman | new theory of real inner product spaces | file | diff | annotate |