# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 41d253d14cc5edc13315fba9598adb07ccf2287a
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
01ad035532cbe486194b1bf219cd96ecfa7467a0
fa91322ea8e117c072d0676ae9d06c13b7f80cdf
44624fcf769f26dc1fb39e8f21dae118ee458fc2


