History log of /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/parse/lisp_parseScript.sml
Revision Date Author Comments
# 52683bb6 04-Jun-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Numerous fixes for theorem-prover example for tight equality
# 55e2defc 04-May-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

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

Fix more of lisp example for pat_assum rename
# 07619a09 19-Jan-2012 Magnus Myreen <magnus.myreen@gmail.com>

A mechanised soundness proof for a reflective theorem prover.