ExtendFre with some definitions

2017-11-08 10:36:49 +01:00
parent 161e981a29
commit 72b257b9b7
3 changed files with 54 additions and 1 deletions
@@ -3,5 +3,5 @@
 concrete AllFre of AllFreAbs = 
  LangFre,
  IrregFre,
-  ExtraFre
+  ExtendFre ---- ExtraFre
  ** {} ;