Sessions
session   parent  chapter   theories  directory  ROOT
--------  ------  --------  --------  ---------  ---------
Core      HOL     Demo             2  core       core/ROOT
App-Main  Core    Unsorted         0  app        app/ROOT
Again     Core    Unsorted         0  app        app/ROOT
Bare              Unsorted         1  app        app/ROOT
