History log of /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/wrapper.c
Revision Date Author Comments
# 07619a09 19-Jan-2012 Magnus Myreen <magnus.myreen@gmail.com>

A mechanised soundness proof for a reflective theorem prover.