# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 99fa7d2d588f76c4a464f254c346f473113f319a
input_heaps:
0e2ef6726d29bd0dbb6c10a7e2abe2c01e1df97b
7f66bc57e1f2d4e5d98619ec084d0f635cc5380b
42bfcd1776681d4817962077819f59fc376a7405


