# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


