# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 0afb3cbf9afdb61d9f9e6ef99c3b17f8a6e06311
input_heaps:
f10d118b7a4a96471d6c27e51df0bff6e3b49b74
a2640329f59c9499f204e30995b1d4e80d1d8a2b
3102fa6cc51507738e626ca6a5f2bab2eaa0b3f1
15a17d5418cbcc48f95f4a8ba0b3559ae2299384
48e91f0e7d85c8aa1d0e7e5e7accd927255d4a59


