# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 9a221893ed49da58270424b19a0ee602ac3d8965
uuid: 4471e45b-8eec-407f-9b51-e11d12907eca
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e
995d89955a4ca0af5666bcdc99dc0a120af3fd96
46b2ce11eda1f386473479ad7855eebe6b11eeb9


