| #
81fe5cbd |
|
07-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
misc/pysymbols: Merge some CAmkES functionality for generating apply-style.
This commit resurrects some bitrotted support for generating apply-style proofs
from Python. It is somewhat incomplete and untested, but can serve to make
template proofs much more readable.
|