# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4d75af1cb2c9b0296e033829c950c6b7ea67fad7
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae
38d02128dfd62a5cc87aa673452e3f247fd78f31
0115ae4acba5b097d43f317eb6ecf7f0d60dc724


