# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: da41328e0ba5950c14054dada499a8f3cc2d43f2
input_heaps:
ac77010cd64e2ce720ccfa00fb9a959649c23cdb
3d710a4395e8789e600e9dcf06fb2e71a0affc90
449329c6b2a0b1299542b7d3cc6dddff8f6837ca
77cc7e49c2997c26cc72167db98b90708351df2e
883c2f572dea6ed3e2afe822b289401f162acd83


