# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 469f1c777f06068392ef92f251884516a51b369c
input_heaps:
99ecf617d9791e97e2694500834b58fe8bc0930e
fb68b0842b63fdebe460681283f3a90a587f7212
f82c788cc91c200dde26fa1d14e388cb48b88d4a
9bdf2b77ce63bcb84477867ac753cbf7e7e41199
fb293c4b2320e27ca788248995a41b2139f5738c


