# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: d3f94d132f89e8f5e3be9d53073a8b7ee2d5e46a
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
812e0be2315e9890b34946224758ca1e383dfadd
66078cbcb4eec1701a8d5e82549eceecfae4b9b6
4f4f06c9b34afe8882d1a051c54c586e7e6e0f99


