# isabelle_session_info

session_name: FunWithFunctions
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
sources:
0a0f83ae5e4d695f82d4318d8dfe758cf3275d42
4a6de12686884db0c6550a5751b6a0239d17b514
a8c477be96aac3d21498e1437478cbe1c4a12c20
eee6079cf6780ae11f9d05bd5893987c93c480a3


