# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: e47d1317b7492f4c3140b3283a25193820895c62
input_heaps:
fd2c0e8d5dbbf0255abe36184d8e162e5a6dd88c
39629e2401e93cc477158e437466e40612502a08
c4d82df33445739f90434ee2e273c6c168bd07a4


