blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62696
added 'corec' examples and tests
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62695
file header
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62694
added two 'corec' examples
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62693
document addition of 'corec'
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62692
moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62691
put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
blanchet [Tue, 22 Mar 2016 08:00:33 +0100] rev 62690
nicer error
blanchet [Tue, 22 Mar 2016 08:00:15 +0100] rev 62689
more debugging
blanchet [Tue, 22 Mar 2016 07:57:02 +0100] rev 62688
more general, reliable N2M
blanchet [Tue, 22 Mar 2016 07:57:02 +0100] rev 62687
better warning, with definitions in right order