# isabelle_session_info

session_name: Tail_Recursive_Functions
sources:
482081933c65411080eeb8dce3c87e1fed9e7f2f
7284de7108cc21216686417c9c894a2419534c28
bca9497c07ee6e8063469840c42e6880fd3d4705
d82eb56a1238e5e03c7df3267c7b3855ddc4df11
ec0e142c5493a009ca2ee8a268ec69ead48e8128
efff4aee245ec79abd34cf37075c419562228046

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567


