o fixed one bug where axioms referenced in hints would be found to be undeclared predicates
o added a program called "pipeline" where three proceses aranged as a pipeline cooperate to discharge and display proof obligations incrementally
o added worker threads to the pipeline program. On a multi-core machine that discharges proof obligations faster