# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 5c7d0f139449263af94bc097c2f53a6b678fecdd
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
d7a3e5c89ce5d4df7e5b3f1633027476403f6d0d
9aefa65b669bd74832b39f1740d15f7c2668ee82
01a2fa585adea2c5fb4529a5365d592491a4fcb8


