# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: ac25668eea3e1fc57d093c99aed47a490953d401
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
d53cbe55e2ad6db93b989010c753f8d3467cd090


