# isabelle_session_info

session_name: FunWithFunctions
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
sources:
0a0f83ae5e4d695f82d4318d8dfe758cf3275d42
4a6de12686884db0c6550a5751b6a0239d17b514
a8c477be96aac3d21498e1437478cbe1c4a12c20
eee6079cf6780ae11f9d05bd5893987c93c480a3


