# isabelle_session_info

session_name: Old_Datatype_Show
sources: fad15a816b9cfa056613fd9cbf8292a8cdd6097f
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72
38df9e2212c450408dabdb7ae80bc96acb10f449


