Changes

Summary

Changeset 7651:f9dd72c30e1c by blanchet: fixed typos
The file was modified	`thys/BytecodeLogicJmlTypes/Reachability.thy` (diff)
The file was modified	`thys/CYK/CYK.thy` (diff)
The file was modified	`thys/Featherweight_OCL/collection_types/UML_Bag.thy` (diff)
The file was modified	`thys/Featherweight_OCL/collection_types/UML_Set.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy` (diff)
The file was modified	`thys/Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy` (diff)
The file was modified	`thys/Featherweight_OCL/readme.txt` (diff)
The file was modified	`thys/Impossible_Geometry/Impossible_Geometry.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Abstract_Formula.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy` (diff)
The file was modified	`thys/MiniML/Type.thy` (diff)
The file was modified	`thys/Pratt_Certificate/Pratt_Certificate.thy` (diff)
The file was modified	`thys/Refine_Imperative_HOL/Userguides/Sepref_Guide_Reference.thy` (diff)