summaryrefslogtreecommitdiff
path: root/tests/fstar-split
diff options
context:
space:
mode:
authorstuebinm2024-07-04 16:23:25 +0200
committerstuebinm2024-07-04 16:23:25 +0200
commitbd4c7558b96b0616023b4e4600a73a82ab2a9a3d (patch)
tree956ad76887defd48b0c22e71719c335c388bcbb7 /tests/fstar-split
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 'tests/fstar-split')
0 files changed, 0 insertions, 0 deletions