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