diff --git a/src/zulu/AllZul.gf b/src/zulu/AllZul.gf
new file mode 100644
index 000000000..96de62457
--- /dev/null
+++ b/src/zulu/AllZul.gf
@@ -0,0 +1,5 @@
+--# -path=.:../abstract:../common:../api
+
+concrete AllZul of AllZulAbs =
+  CatZul ** {
+}
diff --git a/src/zulu/AllZulAbs.gf b/src/zulu/AllZulAbs.gf
new file mode 100644
index 000000000..1996d79a0
--- /dev/null
+++ b/src/zulu/AllZulAbs.gf
@@ -0,0 +1,5 @@
+--# -path=.:../abstract:../common:../api
+
+abstract AllZulAbs =
+  Cat ** {
+}