# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 9f6548ffe0452a1d807dfcab196c81d6e579c784
input_heaps:
21a403e07266a0eb7fc4f07f6d291fb8aa815d1b
b2b2343c1fd11a884de7303077f1e9ff411e5305
4d03d9ccd21c4163be6e1820247c9570a4e87b88
3c1c6e7ad4602c74622030b8e74ff23d1ad56ba7
8b6aa9cf5addd2efb53b994c58f35860d860901f


