# isabelle_session_info

session_name: Tail_Recursive_Functions
sources:
482081933c65411080eeb8dce3c87e1fed9e7f2f
6b54fe25c17e1e03255fd813a68f92c620ea0e8d
7284de7108cc21216686417c9c894a2419534c28
bca9497c07ee6e8063469840c42e6880fd3d4705
d82eb56a1238e5e03c7df3267c7b3855ddc4df11
efff4aee245ec79abd34cf37075c419562228046

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


