calebegg/try-acl2 — Issue #1: set-prover-step-limit
Author: calebegg
Created: 2011-11-16 18:52:39+00:00
State: open

http://www.cs.utexas.edu/~moore/acl2/current/SET-PROVER-STEP-LIMIT.html