refinements

This commit is contained in:
virk.shafqat
2012-03-05 09:33:23 +00:00
parent 512c9ad021
commit a5759741a5
34 changed files with 195 additions and 192 deletions
+2 -2
View File
@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllPes of AllPesAbs =
LangPes
-- ExtraPes
LangPes,
ExtraPes
** {} ;