monads: reorder files in ROOT

Signed-off-by: Corey Lewis <[email protected]>
seL4 · Jul 19, 2023 · af8630e · af8630e
1 parent 5dd7b09
commit af8630e
Showing 1 changed file with 20 additions and 20 deletions.
diff --git a/lib/Monads/ROOT b/lib/Monads/ROOT
@@ -21,33 +21,33 @@ session Monads (lib) = HOL +
     trace
 
   theories
-    Nondet_WhileLoopRules
-    Trace_Monad
-    Reader_Option_ND
-    Reader_Option_VCG
-    Strengthen_Demo
-    Trace_Lemmas
+    WPBang
+    WPFix
+    Eisbach_WP
+    WPI
+    WPC
+    WP_Pre
+    WP
     Datatype_Schematic
-    Nondet_WhileLoopRulesCompleteness
-    Strengthen
-    Nondet_Strengthen_Setup
-    Reader_Option_Monad
-    Trace_VCG
+    Nondet_Monad
+    Nondet_More_VCG
     Nondet_In_Monad
     Nondet_VCG
     Nondet_Sat
-    Nondet_More_VCG
-    Nondet_Monad
     Nondet_Lemmas
     Nondet_Det
     Nondet_No_Fail
     Nondet_No_Throw
     Nondet_Empty_Fail
     Nondet_Monad_Equations
-    "wp/WPBang"
-    "wp/WPFix"
-    "wp/Eisbach_WP"
-    "wp/WPI"
-    "wp/WPC"
-    "wp/WP_Pre"
-    "wp/WP"
+    Nondet_WhileLoopRules
+    Nondet_WhileLoopRulesCompleteness
+    Reader_Option_Monad
+    Reader_Option_ND
+    Reader_Option_VCG
+    Trace_Monad
+    Trace_Lemmas
+    Trace_VCG
+    Strengthen
+    Nondet_Strengthen_Setup
+    Strengthen_Demo