Cross Reference: /seL4-l4v-master/l4v/lib/Monad

Name		Date	Size
..		30-Nov-2020	94
Datatype_Schematic.thy	H A D	05-Nov-2020	9.6 KiB
Less_Monad_Syntax.thy	H A D	30-Oct-2020	680
NonDetMonad.thy	H A D	05-Nov-2020	33.9 KiB
NonDetMonadLemmas.thy	H A D	09-Apr-2020	12.4 KiB
NonDetMonadVCG.thy	H A D	05-Nov-2020	104.9 KiB
OptionMonad.thy	H A D	05-Nov-2020	15.2 KiB
OptionMonadND.thy	H A D	09-Apr-2020	7.5 KiB
OptionMonadWP.thy	H A D	05-Nov-2020	11 KiB
Strengthen.thy	H A D	30-Oct-2020	20.5 KiB
Strengthen_Demo.thy	H A D	09-Apr-2020	4.6 KiB
TraceMonad.thy	H A D	05-Nov-2020	43.6 KiB
TraceMonadLemmas.thy	H A D	09-Apr-2020	12.6 KiB
TraceMonadVCG.thy	H A D	05-Nov-2020	116.1 KiB
WhileLoopRules.thy	H A D	09-Apr-2020	33.7 KiB
WhileLoopRulesCompleteness.thy	H A D	09-Apr-2020	14.2 KiB
wp/	H	05-Nov-2020	12