wenzelm [Thu, 27 Sep 2012 19:35:29 +0200] rev 50639
merged
traytel [Thu, 27 Sep 2012 18:58:15 +0200] rev 50638
tuned tactic; got rid of substs_tac alias
blanchet [Thu, 27 Sep 2012 18:39:17 +0200] rev 50637
use a nicer scheme to indexify names
traytel [Thu, 27 Sep 2012 18:25:41 +0200] rev 50636
tuned tactic
traytel [Thu, 27 Sep 2012 18:01:33 +0200] rev 50635
type of the bound of a BNF depends at most on dead type variables
blanchet [Thu, 27 Sep 2012 17:54:35 +0200] rev 50634
repaired signature
blanchet [Thu, 27 Sep 2012 17:00:54 +0200] rev 50633
lower the defaults for the number of bits, based on an example by Lukas Bulwahn
blanchet [Thu, 27 Sep 2012 17:00:54 +0200] rev 50632
modernized examples
nipkow [Thu, 27 Sep 2012 12:08:38 +0200] rev 50631
merged
nipkow [Thu, 27 Sep 2012 12:07:50 +0200] rev 50630
tuned