# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 0db217b9a9a078e11aadf431b491460b7e0dce78
input_heaps:
555d97234e2215e68dcfd0a908d191212ea0a6bd
2fd30c2f107bbbb7300d851cef8487427bd43e67
9b7a7acfe116f5e04c67ac2a6b1873b9c226bb01
8506ca5fe5ed2fce124a3afcb1ed3c90723a7f49
3e1617f78a0c4c54e424aeea43abcf69402c18ff


