l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

write docs + tests for AddUpdSimps

Open lsf37 opened this issue 3 years ago • 0 comments

AddUpdSimps.thy should probably be used more, but has no documentation, is hard to discover and has no examples/test cases.

This issue is for rectifying docs, examples, and tests.

lsf37 avatar Jan 12 '22 21:01 lsf37