R
efine_
M
onadic
Refine_Chapter
Refine_Mono_Prover
Refine_Misc
RefineG_Transfer
RefineG_Domain
RefineG_Recursion
RefineG_Assert
Refine_Basic
Refine_Leof
Refine_Heuristics
Refine_More_Comb
RefineG_While
Refine_While
Refine_Det
Refine_Pfun
Refine_Transfer
Refine_Foreach
Refine_Automation
Autoref_Monadic
Refine_Monadic
Example_Chapter
Breadth_First_Search
WordRefine
Examples