This GitLab instance reached the end of its service life. It won't be possible to create new users or projects.

Please read the deprecation notice for more information concerning the deprecation timeline

Visit migration.git.tu-berlin.de (internal network only) to import your old projects to the new GitLab platform 📥

ROOT 368 Bytes
Newer Older
1 2 3 4 5
session "Coupled_Simulation" = "HOL" +
  options [document = "pdf", browser_info = true, document_output = "output"]
  theories [quick_and_dirty, document = false]
    "~~/src/HOL/Library/While_Combinator"
    "~~/src/HOL/Library/Finite_Lattice"
benkeks committed
6
  theories
7 8
    CS_Fixpoint_Algo_Delay
    CS_Game_Delay
9 10
  document_files
    "root.tex"
benkeks committed
11 12
    "root.bib"
    "splncs04.bst"