# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: fed97ec2f2aaf8278c8c0e99af5c50af8176ccc1
input_heaps:
345ae181c538e4194d592676e06efaf9bde7d260
419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b
e394185f15307ff36f612824af64dd26d585bb07
f905375433fea54ded9481cd7ee4b9462b212155
64dbb13b1e549646aa8d1d0f47e05b043b6768b2


