# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 45f0735dfb797c8621d13431e47c49c578446622
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
71e8ac1d58f88c3c1a3d48f9a5632d3f689812d7
8c8fc03970d0eb1f82b8664f84bb8d5c93504873
5487b0fcc44712d737abda72ca26060a92203c2e


