isabelle: Changelog

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 21:42:45 +0000] rev 71008

moved line segments to Convex_Euclidean_Space

wenzelm [Sat, 02 Nov 2019 23:43:08 +0100] rev 71007

proper theory for export_proofs;

wenzelm [Sat, 02 Nov 2019 23:13:15 +0100] rev 71006

tuned signature;

paulson [Sat, 02 Nov 2019 20:52:24 +0000] rev 71005

merged

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 20:51:54 +0000] rev 71004

just tidied one proof

wenzelm [Sat, 02 Nov 2019 20:56:22 +0100] rev 71003

proper graph traversal -- avoid exponential blowup (amending 71d1971d67ad);

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 18:47:00 +0000] rev 71002

oops — fixed symbols!!

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 15:52:47 +0000] rev 71001

reorganisation to eliminate Brouwer_Fixpoint from complex analysis

paulson [Sat, 02 Nov 2019 14:31:48 +0000] rev 71000

merged

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 14:31:34 +0000] rev 70999

Inverse function theorem + lemmas

isabelle