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