# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: d284138007faa4b17a4d9c9d38ddd1bac4aa3f75
input_heaps:
9e57621fc6e68a5512aa3bfd26eb21db38620196
a4b348888fd6bb25a5848142d09c6ff446a0d19b
a710443e3082923a0957341f5f6ab777afefbba1
91ae1072b92eb30e1ec48c26abde680e4641f1c9
b3177ef3bf795ef87d9f257d8d7208d9e44fc54e


