renaming of files

yoavschwartz · Aug 6, 2020 · d1855bf · d1855bf
1 parent e75ae34
commit d1855bf
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/x.spthy → apachi.spthy b/x.spthy → apachi.spthy
@@ -1,9 +1,9 @@
-theory x
+theory apachi
 begin
 
 /*
  *  Author: Yoav S. & Nicolai S.
- *  Model Name: untrusted_reviewers.spthy
+ *  Model Name: apachi.spthy
  *  Status: DEVELOPMENTAL
  *
  */

diff --git a/x_accountability.spthy → apachi_accountability.spthy b/x_accountability.spthy → apachi_accountability.spthy
@@ -1,9 +1,9 @@
-theory x_accountability
+theory apachi_accountability
 begin
 
 /*
  *  Author: Yoav S. & Nicolai S.
- *  Model Name: untrusted_reviewers.spthy
+ *  Model Name: apachi_accountability.spthy
  *  Status: DEVELOPMENTAL
  *
  */

diff --git a/x_observational_id.spthy → apachi_observational_id.spthy b/x_observational_id.spthy → apachi_observational_id.spthy
@@ -1,9 +1,9 @@
-theory x_observational_id
+theory apachi_observational_id
 begin
 
 /*
  *  Author: Yoav S. & Nicolai S.
- *  Model Name: untrusted_reviewers.spthy
+ *  Model Name: apachi_observational_id.spthy
  *  Status: DEVELOPMENTAL
  *
  */

diff --git a/x_observational_paper.spthy → apachi_observational_paper.spthy b/x_observational_paper.spthy → apachi_observational_paper.spthy
@@ -1,9 +1,9 @@
-theory x_observational_paper
+theory apachi_observational_paper
 begin
 
 /*
  *  Author: Yoav S. & Nicolai S.
- *  Model Name: untrusted_reviewers.spthy
+ *  Model Name: apachi_observational_paper.spthy
  *  Status: DEVELOPMENTAL
  *
  */