# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: dc2b1533633e40a394f5e94e39c439597f82c19f
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
3c21f91ac9ef449f50201c922fc6e9cbb3a20685
f1d838a6349455bbecb37fa00a751e9f80807f48
92d6d21697fe04e453c1d3167c09a9c88cdcfd4f


