# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 7fc491fd31561e776a3331608e464b3c11ba7c16
uuid: 03a62717-de0a-402b-ae05-8f682b108b6a
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
03aa0939e8a48a55bf99a31f54ae46cb6b5be497
2b27d391e9a4a55b0ac69418686a3dae9ae0c2d3
f165753ca38c8991e9a6acf7386b19166b8de217


