# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700
sources:
32c698b051d070758ee310ea41dcd60cc41b593c
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
89d8f62af42add378a11d94d563e9cce40bc34af
9c580967da24d52b7f0197b4845b4404e56acc0a
a438efea6288f9f4f15f7d643bb504a34d38c343
a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2
f72b80855503bd44895e27451ed4972f4f376949


