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