# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 09a7eda7cba2f4637a3cb0bf53950bfd35c1aacb
uuid: fc48e907-f4c1-4be5-b5b6-0858836365fa
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d
5075449c25266d48d60ebde163d397c2cfbc4538
48365429890f7c224418a8d08cc9967e3e213db8


