The following Example files are available:

addition.actr
equation.actr
factorial.actr
Integers.actr
tower_of_hanoi.actr

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