[plt-scheme] PLT Redex w/ 301.13

> As others have pointed out, the problem is you need to do something like
> 
> (require (planet "reduction-semantics.ss" ("robby" "redex.plt" 2 2)))
> 
> to require the reduction-semantics module.  And so on for others modules.

Ah, that did the trick, thanks.

I had just copied the `require' expression from the PLaneT page, 
which contains the funny string "[file]".

-- Paul