# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 2e1c31cbc401c16ea82f6cb964d7f3bf74dd0957
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
bc573c580f6cf52e30c8d6bb98a2b86ff57487eb
ac976cc1ab84f84e0d8f4f5fc9aa8713f070f539
e04ead78efea20a18a8e3422967ce5cecff81055


