# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 0b6c68972727e03d6ffb9fb2d27d464aa327b714
input_heaps:
3ef6c9a0eb470e4693e1ab85852721e78e1c146a
f550ffe99d9ea6d3907e695610a5094009d15b06
91b9d88e00ab12aee1558ed7d5ea87a44009d22b
2c03974d8ee1bd0862819731c0fa31e5db4b39dc
2f7a4fd8bf5ed2530573c24eb134d2720c4e453f


