# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b34b5da28d9986e0ce5b9ff1699044a8ec27d0d4
input_heaps:
68cb7b892ff6e63db78c7a6e5177c58783238420
a33fb9fa4258d63bd5352c4c62407407ee5cc8f3
545fcdac387d1af8524912a04ee72c6172a75896
d7950b75bd97cce8bda38ca203ee6979697aa25e
d2b9ab5a6939e4547ca79ccc2bf44f010aeebecd


