blanchet [Wed, 11 Dec 2013 22:23:07 +0800] rev 56056
removed inlined rewriting'' for one-branch case splits in Isar proofs, since these can yield huge unreadable formulas
paulson [Wed, 11 Dec 2013 00:17:09 +0000] rev 56055
Fib: Who needs the int version?
blanchet [Tue, 10 Dec 2013 15:24:17 +0800] rev 56054
more work on Z3 Isar proofs
paulson [Mon, 09 Dec 2013 23:22:44 +0000] rev 56053
streamlined two proofs
wenzelm [Mon, 09 Dec 2013 23:16:10 +0100] rev 56052
merged
wenzelm [Mon, 09 Dec 2013 22:02:42 +0100] rev 56051
alternative hires icon;
haftmann [Mon, 09 Dec 2013 22:49:27 +0100] rev 56050
NEWS
haftmann [Sat, 07 Dec 2013 20:09:35 +0100] rev 56049
default code equations for make, fields, extend and truncate operations on records
wenzelm [Mon, 09 Dec 2013 21:32:45 +0100] rev 56048
browse directory hyperlink as well;
wenzelm [Mon, 09 Dec 2013 20:16:12 +0100] rev 56047
provide @{file_unchecked} in Isabelle/Pure;