diff options
| author | Thomas Bauereiss | 2018-07-07 22:47:28 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-09 14:47:48 +0100 |
| commit | 2529f5a65d70dfffe40ead73ae49aaa4d78fefb4 (patch) | |
| tree | 0fc1951dd3dc76442f7cae52aa59d35cbf4aff70 /lib/exception_basic.sail | |
| parent | 90ea9c794ffe47365b7e856eba4ee8af0aefa0ca (diff) | |
Add some syntactic sugar for Isabelle
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions