--- a/src/HOL/ROOT Wed Jan 18 15:57:00 2017 +0000 +++ b/src/HOL/ROOT Wed Jan 18 17:56:52 2017 +0100 @@ -541,7 +541,7 @@ Adhoc_Overloading_Examples Iff_Oracle Coercion_Examples - Abstract_NAT + Peano_Axioms Guess Functions Induction_Schema