Wed, 30 Nov 2011 16:27:10 +0100 | wenzelm | prefer typedef without extra definition and alternative name; | file | diff | annotate |
Thu, 13 Jan 2011 23:50:16 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
Tue, 30 Nov 2010 17:19:11 +0100 | haftmann | adaptions to changes in Equiv_Relation.thy | file | diff | annotate |
Fri, 01 Oct 2010 16:05:25 +0200 | haftmann | constant `contents` renamed to `the_elem` | file | diff | annotate |
Mon, 12 Jul 2010 08:58:13 +0200 | haftmann | dropped superfluous [code del]s | file | diff | annotate |
Tue, 08 Jun 2010 16:37:22 +0200 | haftmann | tuned quotes, antiquotations and whitespace | file | diff | annotate |
Mon, 10 May 2010 11:47:56 -0700 | huffman | add more credits to ex/Dedekind_Real.thy | file | diff | annotate |
Mon, 10 May 2010 11:30:05 -0700 | huffman | put construction of reals using Dedekind cuts in HOL/ex | file | diff | annotate |