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

Fix theorem-prover/lisp-runtime for new by
# e206b151 07-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Finish lisp-runtime/implementation for pat_assum
# af4c68dd 17-Sep-2012 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

split lisp_symbols into separate files
# 07619a09 19-Jan-2012 Magnus Myreen <magnus.myreen@gmail.com>

A mechanised soundness proof for a reflective theorem prover.