diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-27 10:54:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-27 10:54:26 +0000 |
| commit | a5232f7e5b8f6ca988696f3870f019113edb8d90 (patch) | |
| tree | 7e9d543ac07c037c0f86dcc00937a4bbc7a8cc63 /examples/logic/ProoftextEng.gf | |
| parent | c75688651e95d1fe69175ca3e4859e6d753b2b8c (diff) | |
part of Logic implemented generically
Diffstat (limited to 'examples/logic/ProoftextEng.gf')
| -rw-r--r-- | examples/logic/ProoftextEng.gf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/logic/ProoftextEng.gf b/examples/logic/ProoftextEng.gf new file mode 100644 index 000000000..02ad3492f --- /dev/null +++ b/examples/logic/ProoftextEng.gf @@ -0,0 +1,12 @@ +--# -path=.:mathematical:present:resource-1.0/api:prelude + +instance ProoftextEng of Prooftext = open + LexTheoryEng, + GrammarEng, + SymbolicEng, + SymbolEng, + (C=ConstructX), + CombinatorsEng, + ConstructorsEng in { + } + ; |