theory Scratch
  imports "Refine_Monadic.Refine_Basic"
  "Refine_Monadic.Refine_Leof"
  "Refine_Monadic.Refine_Heuristics"
  "Refine_Monadic.Refine_More_Comb"
  "Refine_Monadic.Refine_While"
  "Refine_Monadic.Refine_Foreach" 
  "Refine_Monadic.Refine_Transfer"
  "Refine_Monadic.Refine_Pfun"
  "Separation_Algebra.Sep_Tactics"
begin
  
(*
(base) peter@peterXps:~/devel/isabelle/test$ isabelle build -D .
Running Test ...
*** Consumer thread failure: "Isabelle.Session.manager"
*** Missing session sources entry "~/devel/isabelle/afp-2023-09-26/thys/Separation_Algebra/sep_tactics.ML"
Finished Test (0:00:03 elapsed time, 0:00:06 cpu time, factor 1.89)
Presentation in "/home/peter/.isabelle/Isabelle2023/browser_info"
Presenting Pure in "/home/peter/.isabelle/Isabelle2023/browser_info/Pure/Pure" ...
Presenting HOL in "/home/peter/.isabelle/Isabelle2023/browser_info/HOL/HOL" ...
Presenting Automatic_Refinement in "/home/peter/.isabelle/Isabelle2023/browser_info/AFP/Automatic_Refinement" ...
Presenting Refine_Monadic in "/home/peter/.isabelle/Isabelle2023/browser_info/AFP/Refine_Monadic" ...
Presenting Test in "/home/peter/.isabelle/Isabelle2023/browser_info/Unsorted/Test" ...
*** Missing session source file "~/devel/isabelle/afp-2023-09-26/thys/Automatic_Refinement/Lib/Refine_Util_Bootstrap1.thy"



*)


end