Mon, 10 May 2010 11:47:56 -0700 | huffman | add more credits to ex/Dedekind_Real.thy | changeset | files |
Mon, 10 May 2010 11:30:05 -0700 | huffman | put construction of reals using Dedekind cuts in HOL/ex | changeset | files |
Tue, 11 May 2010 10:36:50 +0200 | wenzelm | disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin); | changeset | files |