# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8889594343deb31bc5ec579ca4ed8403459f0df4
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
ca14f16b93325bb5550fb25e064a375284fc566f
6a44ac8898e209cab0a2756e7fa73edd4b7341f9
4a21e5da5bfafd8fbbaeb9c1ccfe531933a52f36


