lib/monads: add new Trace_* files to ROOT

As the AFP submission system correctly points out, these theory files had not been included in any session yet. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 12, 2023 · 4d00865 · 4d00865
1 parent 598e19d
commit 4d00865
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/lib/Monads/ROOT b/lib/Monads/ROOT
@@ -43,6 +43,17 @@ session Monads (lib) = HOL +
     Trace_Lemmas
     Trace_VCG
     Trace_Det
+    Trace_No_Throw
+    Trace_Empty_Fail
+    Trace_No_Trace
+    Trace_Total
+    Trace_Strengthen_Setup
+    Trace_Monad_Equations
+    Trace_RG
+    Trace_In_Monad
+    Trace_More_VCG
+    Trace_No_Fail
+    Trace_Sat
     Strengthen
     Nondet_Strengthen_Setup
     Strengthen_Demo