--- a
+++ b/thys/Locally-Nameless-Sigma/Locally_Nameless_Sigma.thy
@@ -0,0 +1,8 @@
+
+header {* Locally Nameless Sigma Calculus *}
+
+theory Locally_Nameless_Sigma
+imports "Sigma/ParRed" "Sigma/TypedSigma"
+begin
+
+end