# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


