Sun, 09 May 2010 17:47:43 -0700 | huffman | avoid using real-specific versions of generic lemmas | file | diff | annotate |
Tue, 20 Apr 2010 17:58:34 +0200 | hoelzl | Generalize swap_inj_on; add simps for Times; add Ex_list_of_length, log_inj; Added missing locale edges for linordered semiring with 1. | file | diff | annotate |
Mon, 16 Nov 2009 14:32:12 +0000 | paulson | A few more lemmas from Jeremy | file | diff | annotate |
Thu, 28 May 2009 22:57:17 -0700 | huffman | generalize constants in SEQ.thy to class metric_space | file | diff | annotate |
Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |