# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 03745ea7b989900c64755cbe74df60b28f9c8ae2
input_heaps:
04cbdab1f686d7eea03656c087fb6cb51858d69d
f912c7c4bd035c878b5878ea5c558fa4f129fd49
9721597f4d8852322e6c1f69e08ef325199d5509
d9c8eca962ca90af4ee071303854df758a40dc36
6d949b213e4743d49f18b6e0f879b632eb4785b8


