diff -r 93db7414931d -r 293e9c6f22e1 thys/Uncomputable.thy
--- a/thys/Uncomputable.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Uncomputable.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Uncomputable.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Undeciablity of the Halting Problem *}