17 months ago agodisallow pending hyps;
wenzelm [Fri, 29 Jun 2018 15:54:41 +0200] rev 68540
disallow pending hyps;
disallow pending shyps, with option to override the check;
tuned message;

17 months ago agodisallow hyps in export;
wenzelm [Fri, 29 Jun 2018 14:19:52 +0200] rev 68539
disallow hyps in export;
handle extra shyps as explicit sort constraints;

17 months ago agoalways consolidate: allow errors in presentation;
wenzelm [Fri, 29 Jun 2018 14:02:14 +0200] rev 68538
always consolidate: allow errors in presentation;

17 months ago agoproper build_heap;
wenzelm [Fri, 29 Jun 2018 11:36:31 +0200] rev 68537
proper build_heap;

17 months ago agoavoid pending shyps in global theory facts;
wenzelm [Thu, 28 Jun 2018 21:05:56 +0200] rev 68536
avoid pending shyps in global theory facts;

17 months ago agoThe unwinding number is an integer.
paulson <lp15@cam.ac.uk> [Fri, 29 Jun 2018 15:22:30 +0100] rev 68535
The unwinding number is an integer.

17 months ago agoNow based on Complex_Main, not HOL.Deriv
paulson <lp15@cam.ac.uk> [Fri, 29 Jun 2018 14:00:37 +0100] rev 68534
Now based on Complex_Main, not HOL.Deriv

17 months ago agomerged
paulson [Fri, 29 Jun 2018 11:39:40 +0100] rev 68533
merged

17 months ago agoNEWS and CONTRIBUTORS
Wenda Li <wl302@cam.ac.uk> [Fri, 29 Jun 2018 10:55:05 +0100] rev 68532
NEWS and CONTRIBUTORS

17 months ago agoremove trailing commas
Lars Hupel <lars.hupel@mytum.de> [Fri, 29 Jun 2018 10:24:36 +0200] rev 68531
remove trailing commas