# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b
sources:
32c698b051d070758ee310ea41dcd60cc41b593c
89d8f62af42add378a11d94d563e9cce40bc34af
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
9c580967da24d52b7f0197b4845b4404e56acc0a
a438efea6288f9f4f15f7d643bb504a34d38c343
a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2
f72b80855503bd44895e27451ed4972f4f376949


