# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: db511b5a9e49c7f6e16ece29dac6e0fbb18378ba
input_heaps:
6d0f3cca7cdd2251229b39c6b95fe8d9dd63bff1
9f199ab720a03289fd2a3e6f83c5bfd78f4c6c0f
7e28fb7b6e345bdd7b1291afe535536d75996409
64906479bd31ea6810f9f5299430290ed694c6dc
b2bf8fd69b9fdfae25ab9b280aa0109418f3408b


