# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8f261224146b32a7f07a88dddfd1db1e1eadd7d0
uuid: 9168e3b6-a4e1-404f-bf8a-6fa39fe816b2
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3


