--- a/src/HOL/Hoare_Parallel/RG_Com.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/Hoare_Parallel/RG_Com.thy Tue Feb 23 16:25:08 2016 +0100 @@ -19,4 +19,4 @@ type_synonym 'a par_com = "'a com option list" -end \ No newline at end of file +end