# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 966e7b3f11f357e5ffdd24d8e50746e0220b86b2
uuid: fd9b9620-4c52-40a2-a9e8-5c7a92453bf6
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760


