ProDrop in ExtraPol

This commit is contained in:
aarne
2010-12-08 14:01:12 +00:00
parent d7f4f66835
commit 08fc615bba
3 changed files with 16 additions and 5 deletions

View File

@@ -1,5 +1,6 @@
--# -path=.:../abstract:../common:prelude
abstract AllPolAbs =
Lang
Lang,
ExtraPolAbs
** {} ;