Changes

Summary

Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis.
Remove diagnostic command 'print_dependencies'.

Changeset 71167:b4d409c65a76 by paulson _lp15@cam.ac.uk_: Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis.
The file was modified	`src/HOL/Analysis/Complex_Analysis_Basics.thy` (diff)
The file was modified	`src/HOL/Analysis/Conformal_Mappings.thy` (diff)
The file was modified	`src/HOL/Analysis/Derivative.thy` (diff)
The file was modified	`src/HOL/Analysis/Elementary_Normed_Spaces.thy` (diff)
The file was modified	`src/HOL/Limits.thy` (diff)
The file was modified	`src/HOL/Rings.thy` (diff)
The file was modified	`src/HOL/Set_Interval.thy` (diff)
Changeset 71166:c9433e8e314e by ballarin: Remove diagnostic command 'print_dependencies'.
The file was modified	`NEWS` (diff)
The file was modified	`src/Doc/Isar_Ref/Spec.thy` (diff)
The file was modified	`src/FOL/ex/Locale_Test/Locale_Test1.thy` (diff)
The file was modified	`src/Pure/Isar/expression.ML` (diff)
The file was modified	`src/Pure/Isar/locale.ML` (diff)
The file was modified	`src/Pure/Pure.thy` (diff)