# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 30071f1da180d48ba1c470c4e5f9b12b06e83db0
uuid: ef430ed8-2cc7-4348-8058-7fce25e28724
input_heaps:
2b8dd55def4b2146b301c20f74820d8ca9117fe5
a07cbbb690ec61ebb978a21d25325a3e90f64fb3
5a7f3425d17557d22ef9e2787c8b1c2459a2d092
de33ec4761c484aa3b024ea37f56dc31471848f2
80e63a65b1dbdf18799b4792b6f915ef7d461d77


