From d928bd992fc1b88939a77be73cc0b07839940125 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Sun, 28 Oct 2018 21:37:18 +0100
Subject: [PATCH] PermConstr

---
 source/primitives.mmt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/primitives.mmt b/source/primitives.mmt
index 1954a02..6333da2 100644
--- a/source/primitives.mmt
+++ b/source/primitives.mmt
@@ -2,6 +2,7 @@ namespace https://www.gap-system.org/mitm ❚
 
 theory prim : ../?Types =
 	ListConstr ❙
+	PermConstr ❙
 ❚
 
 // theory Types : ur:?PLF =
-- 
GitLab