session mathd_algebra_123 = HOL +
  options [document = false]
  theories mathd_algebra_123
