refinement-11-06-13

This commit is contained in:
virk.shafqat
2011-06-13 21:21:30 +00:00
parent 50057fb219
commit 87ae4d68fd
2 changed files with 5 additions and 5 deletions

View File

@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllPer of AllPerAbs =
LangPer
-- ExtraPer
concrete AllPes of AllPesAbs =
LangPes
-- ExtraPes
** {} ;

View File

@@ -1,4 +1,4 @@
abstract AllPerAbs =
abstract AllPesAbs =
Lang
-- ExtraPnbAbs
-- ExtraPesAbs
** {} ;