Changes

Summary

"split add" -> "split"

Changeset 63648:f9f3006a5579 by nipkow: "split add" -> "split"
The file was modified	`src/Doc/Tutorial/Inductive/AB.thy` (diff)
The file was modified	`src/Doc/Tutorial/Protocol/Event.thy` (diff)
The file was modified	`src/Doc/Tutorial/Protocol/Public.thy` (diff)
The file was modified	`src/HOL/Auth/Event.thy` (diff)
The file was modified	`src/HOL/Auth/Public.thy` (diff)
The file was modified	`src/HOL/Auth/Shared.thy` (diff)
The file was modified	`src/HOL/Auth/Smartcard/EventSC.thy` (diff)
The file was modified	`src/HOL/Auth/Smartcard/Smartcard.thy` (diff)
The file was modified	`src/HOL/Bali/AxCompl.thy` (diff)
The file was modified	`src/HOL/Bali/Conform.thy` (diff)
The file was modified	`src/HOL/Bali/Decl.thy` (diff)
The file was modified	`src/HOL/Bali/Eval.thy` (diff)
The file was modified	`src/HOL/Bali/State.thy` (diff)
The file was modified	`src/HOL/Bali/TypeSafe.thy` (diff)
The file was modified	`src/HOL/Binomial.thy` (diff)
The file was modified	`src/HOL/Deriv.thy` (diff)
The file was modified	`src/HOL/Finite_Set.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/NTP/Impl.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/NTP/Lemmas.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/RefCorrectness.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Seq.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/SimCorrectness.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/TL.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/TLS.thy` (diff)
The file was modified	`src/HOL/IOA/Solve.thy` (diff)
The file was modified	`src/HOL/Int.thy` (diff)
The file was modified	`src/HOL/Library/positivstellensatz.ML` (diff)
The file was modified	`src/HOL/Map.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/Example.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/JTypeSafe.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/WellForm.thy` (diff)
The file was modified	`src/HOL/MicroJava/J/WellType.thy` (diff)
The file was modified	`src/HOL/NanoJava/Example.thy` (diff)
The file was modified	`src/HOL/Nat.thy` (diff)
The file was modified	`src/HOL/Nat_Transfer.thy` (diff)
The file was modified	`src/HOL/Nonstandard_Analysis/HyperDef.thy` (diff)
The file was modified	`src/HOL/Numeral_Simprocs.thy` (diff)
The file was modified	`src/HOL/Option.thy` (diff)
The file was modified	`src/HOL/Power.thy` (diff)
The file was modified	`src/HOL/SET_Protocol/Cardholder_Registration.thy` (diff)
The file was modified	`src/HOL/SET_Protocol/Public_SET.thy` (diff)
The file was modified	`src/HOL/UNITY/Lift_prog.thy` (diff)
The file was modified	`src/HOL/UNITY/Simple/Reachability.thy` (diff)
The file was modified	`src/HOL/UNITY/Simple/Token.thy` (diff)
The file was modified	`src/HOL/Word/Bool_List_Representation.thy` (diff)
The file was modified	`src/ZF/ArithSimp.thy` (diff)
The file was modified	`src/ZF/IntDiv_ZF.thy` (diff)
The file was modified	`src/ZF/Int_ZF.thy` (diff)
The file was modified	`src/ZF/OrderType.thy` (diff)
The file was modified	`src/ZF/UNITY/AllocImpl.thy` (diff)
The file was modified	`src/ZF/UNITY/GenPrefix.thy` (diff)