# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 313583a06fcdb953303886949be8ad5c15683013
input_heaps:
0b626e6938141b2b0e8fa8a3fd9f95471d3882b8
e3cf6887fe99455fea82286dd973109bce34d1da
6d77b6c53faf7a24001ac2a273b1f2ac7ca423ce


