Theory MiniSail

(*<*)
theory MiniSail 
  imports  
    "Safety"   
begin
(*>*)

(*<*)
end
(*>*)