# isabelle_session_info

session_name: Constructor_Funs
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4
sources:
39934a44712cc3689b526749fc52819125ff01bc
39f4551db3e655a3b55d113812c2a52addd91c6f
5af00a6f93339e5ac33354c39f218d6b52d7a255
5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be
a050513c4e99915f1143006e1c9e5fbab0cc5278


