Theory Examples

Up to index of Isabelle/HOL/Collections/Refine_Monadic

theory Examples
imports Example_Chapter Bfs_Impl WordRefine Refine_Fold Automatic_Refinement Recursion

(*<*)
theory Examples
imports 
  "Example_Chapter"
  "Bfs_Impl"
  "WordRefine"
  "Refine_Fold"
  (*"ex/While_Invisible_Steps"*)
  "Automatic_Refinement"
  "Recursion"
  
begin



end
(*>*)