2016-05-26 haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63159
clarified proof context vs. background theory
src/Tools/Code/code_runtime.ML src/Tools/Code/code_target.ML src/Tools/Code/code_thingol.ML

2016-05-26 haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63158
explicit quasi-global context for nbe conversions -- works around quasi-global type variable handling in lift_triv_classes_conv
src/Tools/nbe.ML

2016-05-26 haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63157
clarified naming conventions and code for code evaluation sandwiches
src/HOL/Library/code_test.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/code_evaluation.ML src/Tools/Code/code_preproc.ML src/Tools/Code/code_runtime.ML src/Tools/Code/code_target.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2016-05-26 haftmann [Thu, 26 May 2016 15:27:50 +0200] rev 63156
clarified names of variants
src/Tools/Code/code_runtime.ML src/Tools/Code/code_simp.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2016-05-26 nipkow [Thu, 26 May 2016 09:05:00 +0200] rev 63155
added function "prefixes" and some lemmas
NEWS src/HOL/Library/Sublist.thy

2016-05-25 paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:52:19 +0100] rev 63154
Merge

2016-05-25 paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:47:08 +0100] rev 63153
Merge

2016-05-25 paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:39:07 +0100] rev 63152
moved two theorems
src/HOL/Multivariate_Analysis/Conformal_Mappings.thy

2016-05-25 paulson <lp15@cam.ac.uk> [Wed, 25 May 2016 16:38:35 +0100] rev 63151
updated proof of Residue Theorem (form Wenda Li)
src/HOL/Multivariate_Analysis/Conformal_Mappings.thy src/HOL/Multivariate_Analysis/Path_Connected.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2016-05-25 nipkow [Wed, 25 May 2016 17:41:35 +0200] rev 63150
merged