# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 090c7e991a1834b18646880be5637655f367181a
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d
15d67d306388c473062e8315b972c8774c73994b
034ee5bd5d40ee60e8c10e73d335b0a20ea83f06


