Started with the PicProc demonstration driver.
Added new functionality in the inference rule application infrastructure.
Completed the PicProc driver.
Fixed the transformed goal creation utility function.
Fixed the PicProc inference.
Now have to fix the Isabelle goal construction code.
Isabelle's driver now builds goals where there is a string format. Need a printer for the term format so that we can piece together formulae...
The algorithm can tell the shape (roughly...).
Done with the PicProc example.