A project concerned with the modification of a mathematical probability and statistics course is described. The course was redesigned to include a weekly two hour laboratory session in which students use an IBM 1130 computer to verify empirically the theoretical proofs learned in the classroom. This project report lists the subroutines furnished to the students and the topics of each of the 15 lab sessions. In addition, descriptions of three laboratory exercises are given by way of illustration, followed by a summary of student reactions and faculty attitudes toward the use of the computer for laboratory work. (LB)