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 |