--- a/src/ZF/UNITY/Mutex.thy Wed Jan 10 15:21:49 2018 +0100 +++ b/src/ZF/UNITY/Mutex.thy Wed Jan 10 15:25:09 2018 +0100 @@ -317,4 +317,4 @@ apply (auto dest!: u_value_type simp add: bool_def) done -end \ No newline at end of file +end