From b33766e7e5552f83a0957d2ff35db1143ca95f3e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 17 Aug 2004 08:41:41 +0000
Subject: [PATCH] atomic sentences

---
 lib/resource-0.6/german/AtomGer.gf  | 3 +++
 lib/resource-0.6/german/LogicGer.gf | 6 ++++++
 2 files changed, 9 insertions(+)
 create mode 100644 lib/resource-0.6/german/AtomGer.gf
 create mode 100644 lib/resource-0.6/german/LogicGer.gf

diff --git a/lib/resource-0.6/german/AtomGer.gf b/lib/resource-0.6/german/AtomGer.gf
new file mode 100644
index 000000000..7337856c1
--- /dev/null
+++ b/lib/resource-0.6/german/AtomGer.gf
@@ -0,0 +1,3 @@
+instance AtomGer of Atom = ResourceExtGer ** open ResourceGer, TypesGer in {
+  oper SBranch = Order => Str ;
+}
diff --git a/lib/resource-0.6/german/LogicGer.gf b/lib/resource-0.6/german/LogicGer.gf
new file mode 100644
index 000000000..62c2aca66
--- /dev/null
+++ b/lib/resource-0.6/german/LogicGer.gf
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../../prelude
+
+resource LogicGer = Logic with 
+  (Atom = AtomGer), (Resource = ResourceGer) ;
+
+-- this is the standard form of a derived resource. AR 12/1/2004