# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: ae2226c5617467b9e7fbe34edf68cf4b7dafa2c2
uuid: 2cd08dce-9a69-4bcd-92b0-d272989c6a19
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760
3a17d70a137ee943ff1f27f4736cae7708e70a49
4699e212415127df01be09c98392c7ef2ae59090


