System.FrontendExec
Operations to execute the front end of the Curry system
Detailed package documentation (available shortly after this version has been published)