isabelle: Changelog

blanchet [Thu, 17 Oct 2013 18:53:00 +0200] rev 54137

handle nested tuples in 'let's

nipkow [Thu, 17 Oct 2013 16:45:54 +0200] rev 54136

more exercises

blanchet [Thu, 17 Oct 2013 13:37:13 +0200] rev 54135

also unfold let (_, _) = ... syntax

blanchet [Thu, 17 Oct 2013 11:27:53 +0200] rev 54134

added helper function (that solves chicken-and-egg problem w.r.t. "callssss")

blanchet [Thu, 17 Oct 2013 10:29:28 +0200] rev 54133

graceful handling of abort

panny [Thu, 17 Oct 2013 10:06:48 +0200] rev 54132

generalized interface

blanchet [Thu, 17 Oct 2013 02:29:49 +0200] rev 54131

choose facts to reprove more randomly, to avoid getting stuck with impossible problems at first

blanchet [Thu, 17 Oct 2013 02:22:54 +0200] rev 54130

thread the goal through instead of relying on unreliable (possibly fake) state

blanchet [Thu, 17 Oct 2013 01:34:34 +0200] rev 54129

added comment

blanchet [Thu, 17 Oct 2013 01:22:15 +0200] rev 54128

tuning

isabelle