resource lib name changed

2026-09-03 09:56:59 -06:00 · 2007-12-12 20:30:11 +00:00
parent dd8b2c32d4
commit a1290a9995
741 changed files with 0 additions and 0 deletions
@@ -0,0 +1,7 @@
+--# -path=.:..:alltenses:prelude
+
+concrete ExxFin of Exx = CatFin-[VP], ConjunctionFin-[VP] ** ExxI with
+  (Lang = LangFin),
+  (Constructors = ConstructorsFin) ;
+
+