Changes

Summary

merged
qualified imports;
qualified imports;
prefer smaller sessions, notably for x86 and potentially for polyml-5.7;
qualified imports;
avoid hardwired documents;
proper Unix lines;
eliminated dead code;
more standard Isabelle/ML;

Changeset 7998:9f65140f63f6 by wenzelm: merged
Changeset 7997:70c37936aee1 by wenzelm: qualified imports;
The file was modified	`thys/Prime_Harmonic_Series/Prime_Harmonic.thy` (diff)
Changeset 7996:5b9eb10651a6 by wenzelm: qualified imports;
The file was modified	`thys/RSAPSS/Cryptinverts.thy` (diff)
The file was modified	`thys/RSAPSS/Pdifference.thy` (diff)
The file was modified	`thys/RSAPSS/ROOT` (diff)
The file was modified	`thys/RSAPSS/Wordarith.thy` (diff)
Changeset 7995:b56d94d10976 by wenzelm: prefer smaller sessions, notably for x86 and potentially for polyml-5.7;
The file was modified	`thys/Iptables_Semantics/ROOT` (diff)
Changeset 7994:4339ae4126d1 by wenzelm: qualified imports;
The file was modified	`thys/Prime_Harmonic_Series/Prime_Harmonic.thy` (diff)
The file was modified	`thys/Prime_Harmonic_Series/Prime_Harmonic_Misc.thy` (diff)
The file was modified	`thys/Prime_Harmonic_Series/ROOT` (diff)
The file was modified	`thys/Prime_Harmonic_Series/Squarefree_Nat.thy` (diff)
Changeset 7993:e6db8e05a741 by wenzelm: avoid hardwired documents;
The file was modified	`thys/Bertrands_Postulate/ROOT` (diff)
The file was modified	`thys/Proof_Strategy_Language/ROOT` (diff)
Changeset 7992:e521d24fda7a by wenzelm: proper Unix lines;
The file was modified	`thys/Floyd_Warshall/Floyd_Warshall.thy` (diff)
Changeset 7991:38ecb26134cb by wenzelm: eliminated dead code;
The file was removed	`thys/Refine_Imperative_HOL/IICF/Intf/Scratch.thy`
Changeset 7990:a8b57a39c55c by wenzelm: more standard Isabelle/ML;
The file was modified	`thys/Iptables_Semantics/Primitive_Matchers/Parser.thy` (diff)
The file was modified	`thys/Iptables_Semantics/Primitive_Matchers/Parser6.thy` (diff)