# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 841842e52df66bfe89ef3704bebb8d00b6ef3215
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
46fd10eeae2499e94ef2d629be761c1f26511d19
c21e83de6ca4ad76aa214d19774435ccf8abd764
0f7c2821ac29007eb3f853b98a534ab59d95ff67


