# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8a9ba67d20251d18b34174086157e21300d705cf
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
3813e724c94542385001c5c6059f42e7d9acb899
5f2892727f1f31b28c82b7894fa8394ac8111608
6d7464ee7b2b7183da5e5d386b48576132418c02


