# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 35d23336037fcd5c4dd392eca9127a97a0230871
input_heaps:
e47a09be4002cae6b2076b28bec19f299a00f028
a2e834527abd694dc7a4048ddefe141cf5b387b4
ae4e177f60590cc42c593d04394971dc3115270e
6ff0766bbfc5f4e94ce66edc1ca06a10eb825b77
cc5f38e748eefbb63958413062d903b3d652fe7a


