diff options
| author | Thomas Bauereiss | 2018-05-12 11:16:27 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-12 11:20:33 +0100 |
| commit | 526b71d5fed2f6a79c41fe482a578a8634a0345a (patch) | |
| tree | 55cbddb180f05b3d6b33744bf64b630f71f30b52 /snapshots/isabelle | |
| parent | 6368f7fea326340ffd1c2b6e3ff3bcdccdeb9cec (diff) | |
Fix bug in handling of registers with option type
Also add test cases and Isabelle lemmas
Diffstat (limited to 'snapshots/isabelle')
0 files changed, 0 insertions, 0 deletions