# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 711af3cf08cee36f7889b92cd98e4d1209e50669
input_heaps:
bc95bd5c6f2da7dd6262f49bd6651dd4204f0586
4239523bb0c0e95a4fca4d2183dc9a094821a175
8983cd18d4455c135169e90b49a36d99775b475a
4feb9a85652f8367211b40b0b694134a1d109d12
ee0b82927936d42e2bdf353f149d469e37ba1bd6


