2015-12-31 wenzelm [Thu, 31 Dec 2015 12:37:16 +0100] rev 62007
updated isabelle_fonts;
Admin/components/components.sha1 Admin/components/main

2015-12-31 wenzelm [Thu, 31 Dec 2015 12:20:10 +0100] rev 62006
proper diamond from lasy10;
lib/fonts/IsabelleText.sfd lib/fonts/IsabelleTextBold.sfd

2015-12-31 wenzelm [Thu, 31 Dec 2015 00:07:42 +0100] rev 62005
modernized defs;
tuned proofs;
tuned whitespace;
src/HOL/HOLCF/IOA/meta_theory/Automata.thy src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOL/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOL/HOLCF/IOA/meta_theory/Pred.thy src/HOL/HOLCF/IOA/meta_theory/Sequence.thy src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy src/HOL/HOLCF/IOA/meta_theory/Traces.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 22:09:44 +0100] rev 62004
more symbols;
src/HOL/HOLCF/IOA/ex/TrivEx.thy src/HOL/HOLCF/IOA/ex/TrivEx2.thy src/HOL/HOLCF/IOA/meta_theory/LiveIOA.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 22:05:00 +0100] rev 62003
more symbols;
src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/Automata.thy src/HOL/HOLCF/IOA/meta_theory/RefMappings.thy src/HOL/HOLCF/IOA/meta_theory/SimCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/Simulations.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 21:57:52 +0100] rev 62002
isabelle update_cartouches -c -t;
src/HOL/HOLCF/IOA/ABP/Abschannel.thy src/HOL/HOLCF/IOA/ABP/Abschannel_finite.thy src/HOL/HOLCF/IOA/ABP/Action.thy src/HOL/HOLCF/IOA/ABP/Correctness.thy src/HOL/HOLCF/IOA/ABP/Env.thy src/HOL/HOLCF/IOA/ABP/Impl.thy src/HOL/HOLCF/IOA/ABP/Impl_finite.thy src/HOL/HOLCF/IOA/ABP/Lemmas.thy src/HOL/HOLCF/IOA/ABP/Packet.thy src/HOL/HOLCF/IOA/ABP/Receiver.thy src/HOL/HOLCF/IOA/ABP/Sender.thy src/HOL/HOLCF/IOA/ABP/Spec.thy src/HOL/HOLCF/IOA/NTP/Abschannel.thy src/HOL/HOLCF/IOA/NTP/Action.thy src/HOL/HOLCF/IOA/NTP/Correctness.thy src/HOL/HOLCF/IOA/NTP/Impl.thy src/HOL/HOLCF/IOA/NTP/Lemmas.thy src/HOL/HOLCF/IOA/NTP/Multiset.thy src/HOL/HOLCF/IOA/NTP/Packet.thy src/HOL/HOLCF/IOA/NTP/Receiver.thy src/HOL/HOLCF/IOA/NTP/Sender.thy src/HOL/HOLCF/IOA/NTP/Spec.thy src/HOL/HOLCF/IOA/Storage/Action.thy src/HOL/HOLCF/IOA/Storage/Correctness.thy src/HOL/HOLCF/IOA/Storage/Impl.thy src/HOL/HOLCF/IOA/Storage/Spec.thy src/HOL/HOLCF/IOA/ex/TrivEx.thy src/HOL/HOLCF/IOA/ex/TrivEx2.thy src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/Asig.thy src/HOL/HOLCF/IOA/meta_theory/Automata.thy src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOL/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOL/HOLCF/IOA/meta_theory/Compositionality.thy src/HOL/HOLCF/IOA/meta_theory/Deadlock.thy src/HOL/HOLCF/IOA/meta_theory/IOA.thy src/HOL/HOLCF/IOA/meta_theory/LiveIOA.thy src/HOL/HOLCF/IOA/meta_theory/Pred.thy src/HOL/HOLCF/IOA/meta_theory/RefCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/RefMappings.thy src/HOL/HOLCF/IOA/meta_theory/Seq.thy src/HOL/HOLCF/IOA/meta_theory/Sequence.thy src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOL/HOLCF/IOA/meta_theory/SimCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/Simulations.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy src/HOL/HOLCF/IOA/meta_theory/Traces.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 21:56:12 +0100] rev 62001
more symbols;
src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOL/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOL/HOLCF/IOA/meta_theory/Deadlock.thy src/HOL/HOLCF/IOA/meta_theory/RefCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/RefMappings.thy src/HOL/HOLCF/IOA/meta_theory/Sequence.thy src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOL/HOLCF/IOA/meta_theory/SimCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy src/HOL/HOLCF/IOA/meta_theory/Traces.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 21:52:00 +0100] rev 62000
more symbols;
src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/LiveIOA.thy src/HOL/HOLCF/IOA/meta_theory/Pred.thy src/HOL/HOLCF/IOA/meta_theory/Sequence.thy src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy src/HOL/HOLCF/IOA/meta_theory/Traces.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 21:35:21 +0100] rev 61999
more symbols;
src/HOL/HOLCF/IOA/ABP/Correctness.thy src/HOL/HOLCF/IOA/ABP/Impl.thy src/HOL/HOLCF/IOA/ABP/Impl_finite.thy src/HOL/HOLCF/IOA/NTP/Impl.thy src/HOL/HOLCF/IOA/ex/TrivEx.thy src/HOL/HOLCF/IOA/ex/TrivEx2.thy src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/Automata.thy src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOL/HOLCF/IOA/meta_theory/CompoTraces.thy src/HOL/HOLCF/IOA/meta_theory/Compositionality.thy src/HOL/HOLCF/IOA/meta_theory/Deadlock.thy src/HOL/HOLCF/IOA/meta_theory/LiveIOA.thy src/HOL/HOLCF/IOA/meta_theory/TL.thy

2015-12-30 wenzelm [Wed, 30 Dec 2015 21:23:38 +0100] rev 61998
clarified print modes;
src/HOL/HOLCF/Cfun.thy src/HOL/HOLCF/ConvexPD.thy src/HOL/HOLCF/FOCUS/Fstream.thy src/HOL/HOLCF/FOCUS/Fstreams.thy src/HOL/HOLCF/Fix.thy src/HOL/HOLCF/LowerPD.thy src/HOL/HOLCF/Pcpo.thy src/HOL/HOLCF/Porder.thy src/HOL/HOLCF/Sfun.thy src/HOL/HOLCF/Sprod.thy src/HOL/HOLCF/Ssum.thy src/HOL/HOLCF/Up.thy src/HOL/HOLCF/UpperPD.thy src/HOL/HOLCF/ex/Pattern_Match.thy