#
55e2defc |
|
04-May-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix theorem-prover/lisp-runtime for new by
|
#
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
|
#
672b122f |
|
06-Mar-2012 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove some trailing whitespace.
|
#
07619a09 |
|
19-Jan-2012 |
Magnus Myreen <magnus.myreen@gmail.com> |
A mechanised soundness proof for a reflective theorem prover.
|