Theory Conditional_Simplification.CS_Tools

(* Copyright 2021 (C) Mihails Milehins *)

section‹Import›
theory CS_Tools
  imports Main
begin



subsection‹Standard library extension›

ML_file "More_Tactical.ML"



subsection‹Specialized functionality›

ML_file "CS_Stats.ML"

end