Wed Jul 28 02:02:17 PDT 2010 John Meacham * be sure to record predicates introduced by explicitly declared functions, they may affect previous monomorphic bindings Wed Jul 28 02:26:04 PDT 2010 John Meacham * add '-t' to only run typechecker on regression tests Wed Jul 28 02:26:21 PDT 2010 John Meacham * only pass up predicates that mention metavariables Wed Jul 28 02:30:37 PDT 2010 John Meacham * clean out old comments