# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8889594343deb31bc5ec579ca4ed8403459f0df4
input_heaps:
80c594587f7c0182fd41f269932ab98b52794770
f36e5dba626524370b16749666a8ee92b5ffcb3f
fe8c3462a51b97f3e1a44c91114cce0c5c222a7c
152e657eea46c9e1d342e532c9f6aad6aba7abbe
57094f18a952949d5dac7c4832f0a570e682313a


