Changes

Summary

more symbols;

Changeset 63549:b0d31c7def86 by wenzelm: more symbols;
The file was modified	`src/HOL/HOLCF/Cfun.thy` (diff)
The file was modified	`src/HOL/HOLCF/FOCUS/Fstreams.thy` (diff)
The file was modified	`src/HOL/HOLCF/IMP/HoareEx.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Abstraction.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/CompoExecs.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/CompoScheds.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/CompoTraces.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Compositionality.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Deadlock.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/LiveIOA.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/RefCorrectness.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/RefMappings.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Seq.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/Sequence.thy` (diff)
The file was modified	`src/HOL/HOLCF/IOA/ShortExecutions.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/HOLCF/IOA/Traces.thy` (diff)
The file was modified	`src/HOL/HOLCF/Library/Stream.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Dagstuhl.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Dnat.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Fix2.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Focus_ex.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Hoare.thy` (diff)
The file was modified	`src/HOL/HOLCF/ex/Loop.thy` (diff)