# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f280b786262319e7eb0d0369b7fc5cae42adf6cd
input_heaps:
d9b2e0d22de49dc8d1d07bea7961be77a8e56816
d3a3b5f07b3b30e7761815c70e8ff3a238d6dc0e
df6f2facfe862632d7fa9f6ad7af29ff45678e58
2146ec08a1c11ba0fd37a1af82148d79fda85cad
1cf11ee505f72cf80c987520229d345665611896


