| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
f3db601e |
|
26-May-2019 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
autocorres: minor cleanup, remove some warnings
|
| #
d32f4519 |
|
03-Feb-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
autocorres: replace use of simpsets in monad_type.
The simpset interface was removed in Isabelle2013, which resulted
in some awkward workarounds being added to the monad_type code.
These workarounds will break in Isabelle2016, so this commit finally
replaces the simpsets with thmtabs.
|
| #
a22e3ea2 |
|
03-Feb-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
autocorres: replace use of simpsets in monad_type.
The simpset interface was removed in Isabelle2013, which resulted
in some awkward workarounds being added to the monad_type code.
These workarounds will break in Isabelle2016, so this commit finally
replaces the simpsets with thmtabs.
|
| #
17826f9b |
|
18-Apr-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
more Isabelle2015 update; AInvs up to (excluding) Syscall_AI
also includes some global replacements
|
| #
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|