# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: cfe33fac0df780dfb3a17c38e7d6aa2211b75331
uuid: 8472a1e9-6ca0-42a8-b857-0017437fa45e
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8


