# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: d3a39c3e0b40d02c1976f2c35257641dd30f67b2
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b
f1d7b1fec553606fb8ffa66b10520f8de1b86fd5
ae5dcfa5a428bb8d1e479add4631665e88f9a598


