# HG changeset patch
# User Sebastiaan Joosten <sebastiaan.joosten@uibk.ac.at>
# Date 1546865059 -3600
# Node ID 293e9c6f22e1e8966d16051ad1fd7c9e2442fb92
# Parent  93db7414931d9331099e5ec2b57a56f850000940
Added myself to the comments at the start of all files

diff -r 93db7414931d -r 293e9c6f22e1 thys/Abacus.thy
--- a/thys/Abacus.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Abacus.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Abacus.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Abacus Machines *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/Abacus_Defs.thy
--- a/thys/Abacus_Defs.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Abacus_Defs.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Abacus.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Alternative Definitions for Translating Abacus Machines to TMs *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/Abacus_Hoare.thy
--- a/thys/Abacus_Hoare.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Abacus_Hoare.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,3 +1,8 @@
+(* Title: thys/Abacus_Hoare.thy
+   Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
+*)
+
 theory Abacus_Hoare
 imports Abacus
 begin
diff -r 93db7414931d -r 293e9c6f22e1 thys/Abacus_Mopup.thy
--- a/thys/Abacus_Mopup.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Abacus_Mopup.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Abacus_Mopup.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Mopup Turing Machine that deletes all "registers", except one *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/Rec_Def.thy
--- a/thys/Rec_Def.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Rec_Def.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,3 +1,8 @@
+(* Title: thys/Rec_Def.thy
+   Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
+*)
+
 theory Rec_Def
 imports Main
 begin
diff -r 93db7414931d -r 293e9c6f22e1 thys/Recursive.thy
--- a/thys/Recursive.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Recursive.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,3 +1,8 @@
+(* Title: thys/Recursive.thy
+   Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
+*)
+
 theory Recursive
 imports Abacus Rec_Def Abacus_Hoare
 begin
diff -r 93db7414931d -r 293e9c6f22e1 thys/Turing.thy
--- a/thys/Turing.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Turing.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Turing.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Turing Machines *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/Turing_Hoare.thy
--- a/thys/Turing_Hoare.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/Turing_Hoare.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/Turing_Hoare.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Hoare Rules for TMs *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/UF.thy
--- a/thys/UF.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/UF.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/UF.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Construction of a Universal Function *}
diff -r 93db7414931d -r 293e9c6f22e1 thys/UTM.thy
--- a/thys/UTM.thy	Fri Dec 21 15:30:24 2018 +0100
+++ b/thys/UTM.thy	Mon Jan 07 13:44:19 2019 +0100
@@ -1,5 +1,6 @@
 (* Title: thys/UTM.thy
    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
+   Modifications: Sebastiaan Joosten
 *)
 
 chapter {* Construction of a Universal Turing Machine *}
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 *}