# isabelle_session_info

session_name: Constructor_Funs
input_heaps: 07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988
sources:
49bc8b2c116804b0f178a9426ec2e9998b259252
5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be
697c5c0e2344d52be79955bfac21eb851db0dd18
a050513c4e99915f1143006e1c9e5fbab0cc5278
ac03b26f96031f21d43bd211fddd0468cad7c192


