calebegg/try-acl2 — Issue #3: advance through tutorial when you type the right things.
Author: calebegg
Created: 2011-11-16 18:54:06+00:00
State: open