The following Example files are available:

Integers.lisp
Test_Scripts.lisp
Unit_3_Demo_missionaries.lisp
Unit_3_Sol_waterjug.lisp
Unit_4_Demo_algebra.lisp
Unit_4_Sol_Fan.lisp
Unit_5_Demo_recall.lisp
Unit_5_Sol_siegler.lisp
Unit_6_Demo_paired.lisp
Unit_6_Sol_zbradoff.lisp
Unit_7_Demo_priming.lisp
Unit_7_Sol_BST.lisp
Unit_8_Demo_kendler.lisp
Unit_8_Sol_kendler.lisp

Unless otherwise specified, send comments and bug reports to cl+@cmu.edu.