# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 07667261bdea6e118a6fc644cced256ba9a63603
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c
20dd107fae6533664b8b2d9edcd40357a9e44e55
4a81864deffe25b7e2d6201c076a109c1e8746b5


