chapter AFP

session "Coupledsim_Contrasim" = "HOL-Library" +
options [ timeout = 600 ]
theories
  Transition_Systems
  Weak_Transition_Systems
  Simple_Game
  Strong_Relations
  Weak_Relations
  Contrasimulation
  Coupled_Simulation
  Coupledsim_Game_Delay
  Coupledsim_Fixpoint_Algo_Delay
  Contrasim_Word_Game
  Contrasim_Set_Game
  HM_Logic_Infinitary
  Weak_HML_Contrasimulation
  Tau_Sinks
document_files
  "root.tex"
  "root.bib"
  "splncs04.bst"
