From af8630ed9a1776cf19f75f82f9a775f9ecc13b27 Mon Sep 17 00:00:00 2001 From: Corey Lewis Date: Wed, 19 Jul 2023 15:42:37 +1000 Subject: [PATCH] monads: reorder files in ROOT Signed-off-by: Corey Lewis --- lib/Monads/ROOT | 40 ++++++++++++++++++++-------------------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/lib/Monads/ROOT b/lib/Monads/ROOT index 284039d3ba..d5640e0b10 100644 --- 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