--- a/Test.thy Tue Jun 07 13:51:39 2016 +0100 +++ b/Test.thy Thu Jun 09 23:01:36 2016 +0100 @@ -786,4 +786,4 @@ thm waits_def waits2_def -end \ No newline at end of file +end