Theory Conditional_Simplification.IHOL_CS

(* Copyright 2021 (C) Mihails Milehins *)

section‹‹IHOL_CS››
theory IHOL_CS
  imports "CS_Tools/CS_Tools"
  keywords "cs_shallow" "cs_full" "cs_ist_simple" "cs_simp" "cs_intro"  
begin

ML_file "CS_TimeIt.ML"
ML_file "CS_UM.ML"
ML_file "CS_Cond_Simp.ML"

end