summaryrefslogtreecommitdiff
path: root/compiler/InterpreterExpressions.ml
diff options
context:
space:
mode:
authorstuebinm2024-07-04 16:23:25 +0200
committerstuebinm2024-07-04 16:23:25 +0200
commitbd4c7558b96b0616023b4e4600a73a82ab2a9a3d (patch)
tree956ad76887defd48b0c22e71719c335c388bcbb7 /compiler/InterpreterExpressions.ml
parent59214186b817329342d9d72e23adf12f7a3b1348 (diff)
isabelle: more correct u32 typeisabelle
(I'd have to figure out how to do the code equation stuff to make this type actually usable the way nat is, but it should behave correctly in proofs)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions