# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 652dacc6bb2e5c7647fba42a087f8cfd9d8b9bba
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
3256f189b96d41210d733f3ca0eed9ae11a2da8a
e9eb39566dbc885f4be94d8d19b30aa35a2a9f82
1a39ec4c5203c30cda4ae9eff2ede7acd44abaa5


