# isabelle_session_info

session_name: Tail_Recursive_Functions
sources:
1245648bd16bfbe5af64c8db8ee25c5637bde7c4
482081933c65411080eeb8dce3c87e1fed9e7f2f
65179a47791e3e1ccd9b9b271602460cafb0221f
7284de7108cc21216686417c9c894a2419534c28
d82eb56a1238e5e03c7df3267c7b3855ddc4df11
efff4aee245ec79abd34cf37075c419562228046

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


