lib/monads: split content out into Trace_RG and Trace_No_Trace

Signed-off-by: Corey Lewis <[email protected]>
seL4 · Aug 23, 2023 · 7b9ca48 · 7b9ca48
1 parent ff808a0
commit 7b9ca48
Show file tree

Hide file tree

Showing 7 changed files with 968 additions and 947 deletions.
diff --git a/lib/Monads/trace/Trace_Lemmas_Old.thy b/lib/Monads/trace/Trace_Lemmas_Old.thy