isabelle: Changelog

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

blanchet [Tue, 22 Mar 2016 07:57:02 +0100] rev 62686

export ML function

isabelle