# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 91c871123387c29ffbfe42fafd3a8ddd4e838c00
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073
a37320e56d6cad2938a89aca67f9b963ac74ab66
47564d6a1743468d88b484c85a788f73410944b4


