(*
 * Afternoon:
 *
 * DB stuff looks good; go over it in class
 *
 * Go over the mother of all postconds, to whit:
 *
 *)
op GenerateSchedule
    in: ... ;
    out: ... ;

(*
 * Morning:
 *
 * The idead of the ManageX objects needs to be transformed to the XDB objects.
 *
 * The ViewInstructor op needs a signature like this
 *
 *    op(InstructorList, InstructorName)->InstructorSchedule;
 * 
 *       where the InstructorName is missing in their version.
 *
 * MasterSchedule object in AdminBasicSchedule.rsl looks good except for the
 * list structure, i.e., need
 *
 *  MasterSchedule is 
 *    components: (CourseTitle and Section and Day and Time and Instructor and BuildingRoom)*;
 *
 *)