# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 7d6348a177c6087407afc5681e137a844e43fbe3
input_heaps:
25555504e46b569cf22a309b1f721af8629de804
fb16144b26eb6a6115fa228e166dbf6a378a7734
68ed0c808b64cda14cca10657c86c1f3024f6f2b
5f65cc0e6f081bf75961d44edddee7f763ce50cf
f7688fbb2e42dd67e0f7308bd5a5fbc7d17e5a4a


