# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b6b87ef0e9033257fa2f97cd33c5f0ca5fba4fb0
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
cc137faa7d41fea458e730d08d19187f36b2fac8
915082dd8be765921534a4eb0d5827ba5ef779c7
16ec20398cb2ce5a320152d13a2404b51fee06d8
f23e02a37f73e8c50729b404132149a6cd09311e


