| #
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
|
| #
0697c0a5 |
|
04-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix lisp-runtime/implementation theories for pat_assum
|
| #
07619a09 |
|
19-Jan-2012 |
Magnus Myreen <magnus.myreen@gmail.com> |
A mechanised soundness proof for a reflective theorem prover.
|