diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-12-22 13:10:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-12-22 13:10:48 +0000 |
| commit | 3a84f614a983135bfac75b2704d496b99e4421d3 (patch) | |
| tree | 2bbe0701b5824e6de3919ce93f26e486df2a5696 /examples | |
| parent | 7abd4c00a225a9a61c1207617211e846464262d2 (diff) | |
documented Combinators
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/logic/ArithmEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/logic/ArithmEng.gf b/examples/logic/ArithmEng.gf index 21b68dd03..716350186 100644 --- a/examples/logic/ArithmEng.gf +++ b/examples/logic/ArithmEng.gf @@ -1,4 +1,4 @@ ---# -path=.:mathematical:present:resource-1.0/api:prelude +--# -path=.:mathematical:present:api:prelude concrete ArithmEng of Arithm = LogicEng ** open |