# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 94150c514501313c0829d251f099c96cb1a84397
input_heaps:
991981938cf9c509b09775da4fe611141d975544
1b9ffcb61ac967bb2234adca439cd7c5b27cb436
fc84e9ab13859e4e3eed3e7f42d6359f79a95ba9
4c02b802f310b112a2047f1c099d0051d1b3980d
fd85aa415d60a0a47102395564a3d0d99d1f99f9


