# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 57cb0b02508939bf576cae41f68a1fb94997b51e
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
8219049c242cf52ef75ae93761a25e4425cb2cd4
699ced78fe29da56be1398a6408ad840444d69e8
41bacac8e6f4ff7188f38089b524c4c9db6c6238


