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 |