diff options
| author | Brian Campbell | 2018-04-20 10:55:56 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-20 10:56:28 +0100 |
| commit | 83b7f7065c638ed3b0e0c40a5c4b64257bae4975 (patch) | |
| tree | 1770aeda7c9f19ece0edd52625284f443485741c /lib/isabelle | |
| parent | cf3283f176797f9209e3a8b1d5cc76e38f67d471 (diff) | |
Have sign_extend in common Sail Lem library, use it and zero_extend in
mono rewrites
Diffstat (limited to 'lib/isabelle')
0 files changed, 0 insertions, 0 deletions