# isabelle_session_info

session_name: Constructor_Funs
input_heaps: 728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de
sources:
39934a44712cc3689b526749fc52819125ff01bc
39f4551db3e655a3b55d113812c2a52addd91c6f
5af00a6f93339e5ac33354c39f218d6b52d7a255
5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be
a050513c4e99915f1143006e1c9e5fbab0cc5278


