resource = resource-1.0

2026-06-07 14:16:31 -06:00 · 2006-06-22 22:25:55 +00:00
parent f388400d62
commit 523a0dcd94
881 changed files with 31130 additions and 31130 deletions
--- a/resource-0.9/abstract/Country.gf
+++ b/resource-0.9/abstract/Country.gf
@@ -0,0 +1,23 @@
+abstract Country = {
+
+  cat 
+    Country ; Nationality ; Language ;
+  fun
+    Denmark,
+    England,
+    Finland,
+    France,
+    Germany,
+    Italy,
+    Norway,
+    Russia,
+    Spain,
+    Sweden 
+      : Country ;
+    Danish,
+    English
+      : Nationality ;
+    DanishLang,
+    EnglishLang 
+      : Language ;
+} ;