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