History log of /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/lisp_codegenScript.sml
Revision Date Author Comments
# 55e2defc 04-May-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix theorem-prover/lisp-runtime for new by
# 73975b38 04-Nov-2016 Michael Norrish <michael.norrish@nicta.com.au>

Fix script broken by 9a822fc3 (DROP/TAKE change)
# e33fc143 06-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

More theorem-prover fixes for pat_assum rename
# af4c68dd 17-Sep-2012 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

split lisp_symbols into separate files