| #
ee0d6faf |
|
04-May-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix milawa-prover (all of theorem-prover now builds) for new by
|
| #
771a174d |
|
07-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Finish theorem-prover example for pat_assum rename
|
| #
70b4aa1f |
|
31-Jul-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
minor updates to Milawa proofs
|
| #
9b1fbe36 |
|
17-Jul-2012 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Faster in-logic parsing of Lisp comments.
|
| #
a6ef9ed4 |
|
04-May-2012 |
Magnus Myreen <magnus.myreen@gmail.com> |
More fixes following change to tDefine.
|
| #
07619a09 |
|
19-Jan-2012 |
Magnus Myreen <magnus.myreen@gmail.com> |
A mechanised soundness proof for a reflective theorem prover.
|