# isabelle_session_info

session_name: Constructor_Funs
input_heaps: fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700
sources:
39f4551db3e655a3b55d113812c2a52addd91c6f
5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be
697c5c0e2344d52be79955bfac21eb851db0dd18
a050513c4e99915f1143006e1c9e5fbab0cc5278
ac03b26f96031f21d43bd211fddd0468cad7c192


