adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-10-12 14:34:37 +11:00 committed by Achim D. Brucker
parent 902e75f5a2
commit 0f1e9fc3fe
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lib/Monads/ROOT
View File

@ -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