10 months ago wenzelm [Wed, 16 Jan 2019 17:55:26 +0100] rev 69671
support pruning of export names;
src/Doc/System/Sessions.thy src/Pure/Thy/export.scala src/Pure/Thy/sessions.ML src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala

10 months ago wenzelm [Wed, 16 Jan 2019 17:12:48 +0100] rev 69670
clarified signature;
src/Pure/General/path.ML src/Pure/General/path.scala

10 months ago nipkow [Wed, 16 Jan 2019 17:03:31 +0100] rev 69669
Reorg of material
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cartesian_Space.thy src/HOL/Analysis/Finite_Cartesian_Product.thy

10 months ago nipkow [Wed, 16 Jan 2019 16:18:53 +0100] rev 69668
redundant lemma
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy

10 months ago nipkow [Wed, 16 Jan 2019 15:53:12 +0100] rev 69667
tuned headers
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cartesian_Space.thy

11 months ago nipkow [Wed, 16 Jan 2019 11:48:06 +0100] rev 69666
Reorg of material
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cartesian_Space.thy src/HOL/Library/Numeral_Type.thy

11 months ago nipkow [Wed, 16 Jan 2019 10:27:57 +0100] rev 69665
tuned headers
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cartesian_Space.thy

11 months ago nipkow [Wed, 16 Jan 2019 05:26:46 +0100] rev 69664
merged

11 months ago nipkow [Tue, 15 Jan 2019 21:31:20 +0100] rev 69663
moved and renamed class
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Library/Cardinality.thy src/HOL/Library/Numeral_Type.thy

11 months ago wenzelm [Tue, 15 Jan 2019 20:03:53 +0100] rev 69662
added command 'export_generated_files';
clarified signature;
src/Pure/Pure.thy src/Pure/Tools/generated_files.ML src/Tools/Haskell/Haskell.thy src/Tools/Haskell/Test.thy