diff options
| author | Thomas Bauereiss | 2020-05-09 22:10:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-05-13 17:04:50 +0100 |
| commit | 336522767a1c3b564fd4798851993afef9f629ed (patch) | |
| tree | 3e307f1446bd88168d51515799c51cdc27ddcfab /src/lem_interp/interp_inter_imp.lem | |
| parent | bed9f2f05813afec446a26e441e1df3d08d9c251 (diff) | |
Make Isabelle lemma generation work with grouped regstate
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions