diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-26 17:14:20 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-26 17:14:20 +0000 |
| commit | c75688651e95d1fe69175ca3e4859e6d753b2b8c (patch) | |
| tree | e4f0163d12a2cdfd078daa1b8564a916db411863 /examples/logic/TheoryEng.gf | |
| parent | 13531a66a3cd2c65eeac8ce12b283528744a7adf (diff) | |
a logic library; fix in make mathematical
Diffstat (limited to 'examples/logic/TheoryEng.gf')
| -rw-r--r-- | examples/logic/TheoryEng.gf | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/examples/logic/TheoryEng.gf b/examples/logic/TheoryEng.gf new file mode 100644 index 000000000..a45bc0fdd --- /dev/null +++ b/examples/logic/TheoryEng.gf @@ -0,0 +1,10 @@ +--# -path=.:mathematical:present:resource-1.0/api:prelude + +concrete TheoryEng of Theory = TheoryI with + (LexTheory = LexTheoryEng), + (Grammar = GrammarEng), + (Symbolic = SymbolicEng), + (Symbol = SymbolEng), + (Combinators = CombinatorsEng), + (Constructors = ConstructorsEng), + ;
\ No newline at end of file |