wenzelm [Sun, 11 Sep 2011 21:35:35 +0200] rev 45757
merged
wenzelm [Sun, 11 Sep 2011 21:34:23 +0200] rev 45756
more CONTRIBUTORS;
wenzelm [Sun, 11 Sep 2011 20:19:20 +0200] rev 45755
persistent ISABELLE_INTERFACE_CHOICE;
wenzelm [Sun, 11 Sep 2011 19:52:09 +0200] rev 45754
explicit choice of interface;
huffman [Sun, 11 Sep 2011 10:30:50 -0700] rev 45753
merged
huffman [Sun, 11 Sep 2011 09:40:18 -0700] rev 45752
tuned proofs
huffman [Sun, 11 Sep 2011 07:21:45 -0700] rev 45751
Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
wenzelm [Sun, 11 Sep 2011 17:30:01 +0200] rev 45750
more orthogonal signature;
wenzelm [Sun, 11 Sep 2011 15:20:09 +0200] rev 45749
updates for release;
wenzelm [Sun, 11 Sep 2011 14:58:52 +0200] rev 45748
misc tuning and clarification (NB: settings are already local for named snapshots/releases);