# isabelle_session_info

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

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241


