isabelle: Changelog

blanchet [Wed, 03 Sep 2014 22:47:48 +0200] rev 58176

tuned ctr_sugar database handling

blanchet [Wed, 03 Sep 2014 22:47:35 +0200] rev 58175

tuned BNF database handling

blanchet [Wed, 03 Sep 2014 22:47:09 +0200] rev 58174

intelligible errors instead of tactic failures

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58173

reenabled yet another example

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58172

made new tactic even more robust

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58171

reenabled more examples

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58170

fixed tactic for n-way mutual recursion, n >= 4 (balanced conjunctions confuse the tactic)

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58169

reintroduced more examples

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58168

improved tactic further

blanchet [Wed, 03 Sep 2014 22:47:05 +0200] rev 58167

reenabled example

isabelle