# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b4c8d62a0a7de017529e7949a8336eda2d9742d4
input_heaps:
cb9068c52176507145e624acbeec2272a10e4f6a
87206ccabfeb1d393ed2571f867fc3906cc88dd1
fc60ea1877710c55efdbefd683bd6d53b3f57175
3a83f9dd818d1298b5a0dd51746e4c3050018207
7692c8d644c4dae9e2357c18f0a5b752723d10de


