wenzelm [Wed, 02 Oct 2013 17:10:01 +0200] rev 55172
tuned;
wenzelm [Wed, 02 Oct 2013 17:09:12 +0200] rev 55171
some highlights of Isabelle2013-1 based on NEWS;
wenzelm [Wed, 02 Oct 2013 17:08:39 +0200] rev 55170
tuned;
wenzelm [Wed, 02 Oct 2013 16:56:02 +0200] rev 55169
misc tuning for release;
blanchet [Wed, 02 Oct 2013 16:29:41 +0200] rev 55168
more (co)data docs
blanchet [Wed, 02 Oct 2013 16:29:40 +0200] rev 55167
don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded
traytel [Wed, 02 Oct 2013 15:53:20 +0200] rev 55166
NEWS and CONTRIBUTORS
traytel [Wed, 02 Oct 2013 15:13:41 +0200] rev 55165
made SML/NJ happy
traytel [Wed, 02 Oct 2013 13:29:04 +0200] rev 55164
use new coinduction method and primcorec in examples
traytel [Wed, 02 Oct 2013 11:57:52 +0200] rev 55163
new coinduction method