# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 5001bcdd535b77b7e7e9f497390e20f31ea99435
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
f574a9bb79e5b51ede46f5b2a9d5ace0b6ac495a
96398d41b78b4893ee8ea871f6dfafddcd3ccd9f
a2306b1588cd6144de72d4ed1b2271a8607ed359


