Princeton University
Computer Science Dept.

Computer Science 496
Automated Theorem Proving

Andrew W. Appel

Spring 2001

Computation Tree Logic in Twelf

Make a ctl directory in the main directory of the logic from assignment 5, and put these files into it.

Note: The CTL inference rules have changed a bit, as of Tue Mar 13 14:36:03 EST 2001. If you had an older version, please re-fetch.