Changes

Summary

Simpl: remove trailing whitespace

Changeset 9435:00e13b87d199 by kleing: Simpl: remove trailing whitespace
The file was modified	`thys/Simpl/AlternativeSmallStep.thy` (diff)
The file was modified	`thys/Simpl/COPYRIGHT` (diff)
The file was modified	`thys/Simpl/DPC0Library.thy` (diff)
The file was modified	`thys/Simpl/Generalise.thy` (diff)
The file was modified	`thys/Simpl/HeapList.thy` (diff)
The file was modified	`thys/Simpl/Hoare.thy` (diff)
The file was modified	`thys/Simpl/HoarePartial.thy` (diff)
The file was modified	`thys/Simpl/HoarePartialDef.thy` (diff)
The file was modified	`thys/Simpl/HoarePartialProps.thy` (diff)
The file was modified	`thys/Simpl/HoareTotal.thy` (diff)
The file was modified	`thys/Simpl/HoareTotalDef.thy` (diff)
The file was modified	`thys/Simpl/HoareTotalProps.thy` (diff)
The file was modified	`thys/Simpl/Language.thy` (diff)
The file was modified	`thys/Simpl/Semantic.thy` (diff)
The file was modified	`thys/Simpl/Simpl_Heap.thy` (diff)
The file was modified	`thys/Simpl/SmallStep.thy` (diff)
The file was modified	`thys/Simpl/StateSpace.thy` (diff)
The file was modified	`thys/Simpl/SyntaxTest.thy` (diff)
The file was modified	`thys/Simpl/Termination.thy` (diff)
The file was modified	`thys/Simpl/UserGuide.thy` (diff)
The file was modified	`thys/Simpl/Vcg.thy` (diff)
The file was modified	`thys/Simpl/XVcg.thy` (diff)
The file was modified	`thys/Simpl/document/mathpartir.sty` (diff)
The file was modified	`thys/Simpl/document/root.bib` (diff)
The file was modified	`thys/Simpl/document/root.tex` (diff)
The file was modified	`thys/Simpl/ex/Closure.thy` (diff)
The file was modified	`thys/Simpl/ex/ClosureEx.thy` (diff)
The file was modified	`thys/Simpl/ex/Compose.thy` (diff)
The file was modified	`thys/Simpl/ex/ComposeEx.thy` (diff)
The file was modified	`thys/Simpl/ex/ProcParEx.thy` (diff)
The file was modified	`thys/Simpl/ex/ProcParExSP.thy` (diff)
The file was modified	`thys/Simpl/ex/Quicksort.thy` (diff)
The file was modified	`thys/Simpl/ex/VcgEx.thy` (diff)
The file was modified	`thys/Simpl/ex/VcgExSP.thy` (diff)
The file was modified	`thys/Simpl/ex/VcgExTotal.thy` (diff)
The file was modified	`thys/Simpl/ex/XVcgEx.thy` (diff)
The file was modified	`thys/Simpl/generalise_state.ML` (diff)
The file was modified	`thys/Simpl/hoare.ML` (diff)