diff --git a/docs/iris/algebra.tex b/docs/algebra.tex
similarity index 100%
rename from docs/iris/algebra.tex
rename to docs/algebra.tex
diff --git a/docs/iris/constructions.tex b/docs/constructions.tex
similarity index 100%
rename from docs/iris/constructions.tex
rename to docs/constructions.tex
diff --git a/docs/iris/derived.tex b/docs/derived.tex
similarity index 100%
rename from docs/iris/derived.tex
rename to docs/derived.tex
diff --git a/docs/iris/encodings.tex b/docs/encodings.tex
similarity index 100%
rename from docs/iris/encodings.tex
rename to docs/encodings.tex
diff --git a/docs/iris/iris.tex b/docs/iris.tex
similarity index 100%
rename from docs/iris/iris.tex
rename to docs/iris.tex
diff --git a/docs/iris/bib.bib b/docs/iris/bib.bib
deleted file mode 120000
index 8b7cbf87be88dfca92040a7222aa88e397178620..0000000000000000000000000000000000000000
--- a/docs/iris/bib.bib
+++ /dev/null
@@ -1 +0,0 @@
-../bib.bib
\ No newline at end of file
diff --git a/docs/iris/listproc.sty b/docs/iris/listproc.sty
deleted file mode 120000
index 7c5b7f009564ed54ac2302e55e70730bda96e97c..0000000000000000000000000000000000000000
--- a/docs/iris/listproc.sty
+++ /dev/null
@@ -1 +0,0 @@
-../listproc.sty
\ No newline at end of file
diff --git a/docs/iris/locallabel.sty b/docs/iris/locallabel.sty
deleted file mode 120000
index b5cf8440324e58c71982b2b53aff9a1f54b01822..0000000000000000000000000000000000000000
--- a/docs/iris/locallabel.sty
+++ /dev/null
@@ -1 +0,0 @@
-../locallabel.sty
\ No newline at end of file
diff --git a/docs/iris/mathpartir.sty b/docs/iris/mathpartir.sty
deleted file mode 120000
index 882eef9e39db25828dccb87e6f655b55d290f2ae..0000000000000000000000000000000000000000
--- a/docs/iris/mathpartir.sty
+++ /dev/null
@@ -1 +0,0 @@
-../mathpartir.sty
\ No newline at end of file
diff --git a/docs/iris/pftools.sty b/docs/iris/pftools.sty
deleted file mode 120000
index 68af43890729738796dffd18fdd3dadbf601495b..0000000000000000000000000000000000000000
--- a/docs/iris/pftools.sty
+++ /dev/null
@@ -1 +0,0 @@
-../pftools.sty
\ No newline at end of file
diff --git a/docs/iris/setup.tex b/docs/iris/setup.tex
deleted file mode 120000
index 7a0f2491cb5a519dc1909df6ef55a74fd0a1b039..0000000000000000000000000000000000000000
--- a/docs/iris/setup.tex
+++ /dev/null
@@ -1 +0,0 @@
-../setup.tex
\ No newline at end of file
diff --git a/docs/iris/logic.tex b/docs/logic.tex
similarity index 100%
rename from docs/iris/logic.tex
rename to docs/logic.tex
diff --git a/docs/iris/model.tex b/docs/model.tex
similarity index 100%
rename from docs/iris/model.tex
rename to docs/model.tex