# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4e9572e49b915231b905ed04c2e0896cf24c36a3
input_heaps:
7ab027e11c16b198d39bde9e2a761c27851a5912
d1ce42bd7288630116e7d4230ccdfb85f09406f1
7fc1d8eba0e206c907d73ada0d994108d1735156
040c20c11d17f22d7ff8f52743bd532dcaafa7c5
a2fd4e43a982bd680167dc08506fa626b21d1d69


