refinement-11-06-13

2011-06-13 21:21:30 +00:00
parent c56d38baf1
commit bbde031dab
2 changed files with 5 additions and 5 deletions
@@ -1,4 +1,4 @@
-abstract AllPerAbs =
+abstract AllPesAbs =
  Lang
--  ExtraPnbAbs
+--  ExtraPesAbs
  ** {} ;