isabelle: Changelog

wenzelm [Mon, 11 Nov 2019 17:32:40 +0100] rev 71099

documentation on Phabricator server administration;

wenzelm [Mon, 11 Nov 2019 17:00:07 +0100] rev 71098

tuned message;

wenzelm [Mon, 11 Nov 2019 11:49:43 +0100] rev 71097

added "isabelle phabricator";

paulson <lp15@cam.ac.uk> [Tue, 12 Nov 2019 12:33:05 +0000] rev 71096

New library material from the AFP entry ZFC_in_HOL

haftmann [Mon, 11 Nov 2019 07:16:17 +0000] rev 71095

tuned order between theories

haftmann [Sat, 09 Nov 2019 15:39:21 +0000] rev 71094

bit shifts as class operations

haftmann [Sat, 09 Nov 2019 10:38:51 +0000] rev 71093

new lemma

wenzelm [Fri, 08 Nov 2019 20:59:34 +0100] rev 71092

tuned comments;

wenzelm [Fri, 08 Nov 2019 20:28:50 +0100] rev 71091

merged

wenzelm [Fri, 08 Nov 2019 20:12:57 +0100] rev 71090

retain type information from reconstruct_proof, notably for Export_Theory.export_thm;

isabelle