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 |