diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2018-05-17 11:15:37 +0100 |
|---|---|---|
| committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2018-05-17 11:15:37 +0100 |
| commit | 5df3ec6358bc3af4d92c2ba832fe545dad92dff9 (patch) | |
| tree | 0f96c8d4f2b1483a8010e26cc7228dff610acef3 /.gitignore | |
| parent | af3fa38e699fb8e690d1abbafe33d07205db17cb (diff) | |
| download | sail-riscv-5df3ec6358bc3af4d92c2ba832fe545dad92dff9.zip sail-riscv-5df3ec6358bc3af4d92c2ba832fe545dad92dff9.tar.gz sail-riscv-5df3ec6358bc3af4d92c2ba832fe545dad92dff9.tar.bz2 | |
Use an intermediate base_monad type alias in Lem,
resolving the difference in type parameters between the prompt and state
monads, and allowing a single output file to be used with either.
Normally, the type alias is to the prompt monad, but for HOL4 we use the
state monad.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions