1 files changed, 0 insertions, 16 deletions
diff --git a/files/practicum/SeqEnSeqList.icl b/files/practicum/SeqEnSeqList.icl
deleted file mode 100644
index c303c57..0000000
--- a/files/practicum/SeqEnSeqList.icl
+++ /dev/null
@@ -1,16 +0,0 @@
-module SeqEnSeqList
-
-import StdEnv, StdStack
-
-Start         = and
-                [ elements` s1           == elements s2
-                , elements` (popn` 3 s1) == elements (popn 3 s2)
-                ,            topn` 3 s1  ==           topn 3 s2
-                , elements` s1           == elements s2
-                ]
-where (s1,s2) = (pushes` [1..5] newStack, pushes [1..5] newStack)
-
-pushes`       = // expressie met seq en push
-popn`         = // expressie met seq en pop
-topn`   n s   = // expressie met seqList, top en pop
-elements` s   = // expressie met seqList, top en pop