#
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
|
#
7f73df55 |
|
18-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
broken proof fixed
|
#
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.
|