15 months ago nipkow [Mon, 09 Jan 2017 19:34:02 +0100] rev 64852
fix problems because of "surj" input abbreviation; tuned
src/Doc/Prog_Prove/Isar.thy src/Doc/Prog_Prove/document/intro-isabelle.tex

15 months ago nipkow [Mon, 09 Jan 2017 19:32:40 +0100] rev 64851
hide global sum
src/HOL/IMP/Hoare_Examples.thy

15 months ago haftmann [Mon, 09 Jan 2017 19:13:49 +0100] rev 64850
gcd/lcm on finite sets
src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy src/HOL/GCD.thy src/HOL/Library/Polynomial_Factorial.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy

15 months ago haftmann [Mon, 09 Jan 2017 18:53:20 +0100] rev 64849
moved some lemmas to appropriate places
src/HOL/Int.thy src/HOL/Library/Polynomial.thy src/HOL/Nat.thy src/HOL/Rat.thy

15 months ago haftmann [Mon, 09 Jan 2017 18:53:06 +0100] rev 64848
slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
src/HOL/Code_Numeral.thy src/HOL/Divides.thy src/HOL/Library/Polynomial.thy src/HOL/Library/Polynomial_Factorial.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy src/HOL/Rings.thy

15 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 15:54:48 +0000] rev 64847
fixed LaTeX problems
src/HOL/Analysis/Further_Topology.thy

15 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:40:31 +0000] rev 64846
Jordan Curve Theorem
NEWS src/HOL/Analysis/Analysis.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Jordan_Curve.thy

15 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:00:13 +0000] rev 64845
Advanced topology
src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Topological_Spaces.thy

15 months ago wenzelm [Mon, 09 Jan 2017 00:08:18 +0100] rev 64844
NEWS for VSCode;
NEWS

15 months ago wenzelm [Sun, 08 Jan 2017 19:35:14 +0100] rev 64843
merged