documented Combinators

2006-12-22 13:10:48 +00:00
parent 7abd4c00a2
commit 3a84f614a9
3 changed files with 42 additions and 32 deletions
--- 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