# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: e427766c5fc10d18cee86565aa4bd542b9d9fe2e
uuid: dfc8092e-2d48-4c3d-81d6-99b166cd65c5
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
d32428f0d0951a8172726af4fc09c4ef986a2b00
e717eb88d9201000411133c3ec3561a398651885
4cff6a81c4fb86afb29b13b088e9c938ec261980


