# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: fd9fb69c3595548be47f93e3507087972fd53e0e
input_heaps:
8e5ed195ee2cdbe15f77b520f593f76d8130fb54
64c8f031891189ca79985911abef2bbef37c0626
a7907596d495a9056c129070e60ac9ab33be654e
55153952d3dc82623abeff2a9326f5ac12400dd1
320ae9dc00a37b65c162d175bc102446ea6b0fc0


