This commit is contained in:
krangelov committed 2020-04-30 09:26:47 +02:00
commit 16d89bef09
47 files changed
+2201 -1893

No files matched your search

+2 -2
View File
@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllTur of AllTurAbs =
LangTur,
ExtendTur
LangTur
-- ,ExtendTur
** {} ;