atomic sentences

2004-08-17 08:41:41 +00:00
parent face83bb18
commit b33766e7e5
2 changed files with 9 additions and 0 deletions
@@ -0,0 +1,3 @@
+instance AtomGer of Atom = ResourceExtGer ** open ResourceGer, TypesGer in {
+  oper SBranch = Order => Str ;
+}
@@ -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