# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da


