# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8b1024747e59bd6e0819d7ecd4ea680c2b4a9919
input_heaps:
a6fbef6a2193c181a33d1e950aa3f0abd88b68a5
3ca6854da93018cf5a079fd9b5bb5197e0340c09
43a1bf747c0627983d57abee619b169885ff240e


