# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


