# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: cfe33fac0df780dfb3a17c38e7d6aa2211b75331
uuid: b689111b-a78a-4fd9-b22b-8b5747fd7908
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915


