Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

locally deactivated simproc defined_all (following afp/81a8bf702c09)
replaced ceiling brackets by guillemots (following afp/fb851cb1ca27)
isabelle update_cartouches -t;

Changeset 11305:21a828811b10 by traytel: locally deactivated simproc defined_all (following afp/81a8bf702c09)
The file was modified	`thys/Goedel_HFSet_Semanticless/Coding.thy`
The file was modified	`thys/Robinson_Arithmetic/Robinson_Arithmetic.thy`
Changeset 11304:5c06d2f30891 by traytel: replaced ceiling brackets by guillemots (following afp/fb851cb1ca27)
The file was modified	`thys/Goedel_HFSet_Semanticless/Coding.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Goedel_I.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/II_Prelims.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Pf_Predicates.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Pseudo_Coding.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Quote.thy`
Changeset 11303:cead889b4653 by traytel: isabelle update_cartouches -t;
The file was modified	`thys/Goedel_HFSet_Semanticless/Coding.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Coding_Predicates.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Functions.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Goedel_I.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/II_Prelims.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Pf_Predicates.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Predicates.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Pseudo_Coding.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Quote.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/Sigma.thy`
The file was modified	`thys/Goedel_HFSet_Semanticless/SyntaxN.thy`