# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 3a1d684df9176611aba0037a9f1f3d87429557c8
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
f35c87b3fbb1057034e9cc403f83990111618881
7bb6fa23b28e708cbe9dad5c461db24732f00a60


