# isabelle_session_info

session_name: Old_Datatype_Show
sources: cc8232b6a94eb443e8e47173d5dd91392e1a94b1
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
dd5a66ed2ec6ee975e279edd847d2bd17a3726ea
8128ba6061591f0bfb3eea2280b51ef9d27b97e6


