interface Index (* System: ??? File: Index.ti Author: Claudia Niederee Date : 07-JUN-1994 Purpose: preparation of a latex index file *) import export create (sourceFile, targetFile :String) :Ok end;