# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8f87d4364f10d54224523805c4f3e6e964065816
input_heaps:
52d50d10ccdc465a02bf994ffa404cd98f184ab5
894864dd28b977490995f7378a440f9a7de17a67
20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b
1e627b2a97e2456045b570182bfb6f24b4b9dd1e
96797925efdd30cf42c773cad654b996ad262f86


