# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: cf68f848c178c51b93f3e5ed077f2b645f547e2a
input_heaps:
532dbff203604d5e2b7f0d350df2b2e535aa0670
018c23ec32ebaf6f65e7b9544b49dc452e8ab1c3
d52c4416921d206f2834082b9a6428d7ad6619cb
60ee0748c59159caba4bf323043efcc52e819826
f32151b2a84688fdb7d0edea28f5e88b88b4b43f


