Theory Slicing

theory Slicing
imports
  "Basic/Postdomination"
  "Basic/CFGExit_wf"
  "Basic/SemanticsCFG"
  "Dynamic/DynSlice"
  "StaticIntra/CDepInstantiations"
  "StaticIntra/ControlDependenceRelations"
  "While/DynamicControlDependences"
  "While/StaticControlDependences"
  "JinjaVM/JVMControlDependences" 
  "JinjaVM/SemanticsWF"
begin

end