suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

svn: r15324

Browse Source
This commit is contained in:
Robby Findler 2009-06-28 19:28:41 +00:00
parent ee365bb698
commit 32b91c9e93
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/redex.scrbl
View File

@ -680,7 +680,7 @@ all non-GUI portions of Redex) and also exported by
[reduction-case (--> @#,ttpattern @#,tttterm extras ...)] [reduction-case (--> @#,ttpattern @#,tttterm extras ...)]
[extras name [extras name
(fresh fresh-clause ...) (fresh fresh-clause ...)
(side-condition scheme-expression ...) (side-condition scheme-expression)
(where tl-pat @#,tttterm)] (where tl-pat @#,tttterm)]
[fresh-clause var ((var1 ...) (var2 ...))] [fresh-clause var ((var1 ...) (var2 ...))]
[tl-pat identifier (tl-pat-ele ...)] [tl-pat identifier (tl-pat-ele ...)]