blanchet [Fri, 18 Oct 2013 15:12:04 +0200] rev 54153
avoid 'co_' prefix with underscore meaning 'co', since it is our only possible identifier representation of '(co)'
blanchet [Fri, 18 Oct 2013 15:00:40 +0200] rev 54152
updated docs
blanchet [Fri, 18 Oct 2013 14:58:02 +0200] rev 54151
set code attribute on discriminator equations
blanchet [Fri, 18 Oct 2013 13:38:55 +0200] rev 54150
MaSh error handling
blanchet [Fri, 18 Oct 2013 13:30:09 +0200] rev 54149
repair invariant in MaSh when learning new proofs
blanchet [Fri, 18 Oct 2013 10:43:21 +0200] rev 54148
killed more "no_atp"s
blanchet [Fri, 18 Oct 2013 10:43:20 +0200] rev 54147
killed most "no_atp", to make Sledgehammer more complete
blanchet [Fri, 18 Oct 2013 10:35:57 +0200] rev 54146
doc fixes suggested by Andreas L.
blanchet [Fri, 18 Oct 2013 10:35:56 +0200] rev 54145
make sure that registered code equations are actually equations
blanchet [Fri, 18 Oct 2013 10:35:55 +0200] rev 54144
accept very long lines in MaSh