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);
wenzelm [Sun, 11 Sep 2011 14:42:15 +0200] rev 45747
some updates of PLATFORMS;
wenzelm [Sun, 11 Sep 2011 13:27:22 +0200] rev 45746
more README;
wenzelm [Sat, 10 Sep 2011 23:28:58 +0200] rev 45745
merged
wenzelm [Sat, 10 Sep 2011 23:27:32 +0200] rev 45744
misc tuning;
wenzelm [Sat, 10 Sep 2011 22:11:55 +0200] rev 45743
misc tuning and clarification;
krauss [Sat, 10 Sep 2011 22:43:17 +0200] rev 45742
mem_prs and mem_rsp in accordance with sets-as-predicates representation (backported from AFP/Coinductive)
wenzelm [Sat, 10 Sep 2011 21:47:55 +0200] rev 45741
speed up slow proof;
wenzelm [Sat, 10 Sep 2011 20:41:27 +0200] rev 45740
merged