Core
  -> HOL
  -> HOL-Library (sessions)
App-Main
  -> Core
Again
  -> Core
Bare
