nipkow [Mon, 06 May 2013 02:48:18 +0200] rev 53012
tail recursive version of map, for code generation, optionally
nipkow [Mon, 06 May 2013 00:25:04 +0200] rev 53011
simplified proofs
blanchet [Fri, 03 May 2013 10:27:24 +0200] rev 53010
tuning
blanchet [Fri, 03 May 2013 10:26:34 +0200] rev 53009
pass certain readability-enhancing Vampire options only when an Isar proof is needed
nipkow [Fri, 03 May 2013 05:25:14 +0200] rev 53008
added lemma
nipkow [Fri, 03 May 2013 02:52:25 +0200] rev 53007
added lemma
blanchet [Thu, 02 May 2013 21:04:50 +0200] rev 53006
renamings
blanchet [Thu, 02 May 2013 18:48:39 +0200] rev 53005
code tuning
blanchet [Thu, 02 May 2013 18:34:36 +0200] rev 53004
signature tuning
blanchet [Thu, 02 May 2013 18:25:44 +0200] rev 53003
removed dead code