# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b0ded6f3b6b68f336dc3fdd5f162a2d220011de3
uuid: 0c8b1d07-c528-47c7-8e83-8d736a2b9873
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6
c50a307d4a2b66a693bbfbb79db2b4779d8a0e0a
3d2a4752136882f275f4bec2e2337088c9619157


