# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: 0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f
sources:
2ef530c3346e5f584e31f63f116fbb74cdb16136
32c698b051d070758ee310ea41dcd60cc41b593c
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
89d8f62af42add378a11d94d563e9cce40bc34af
9c580967da24d52b7f0197b4845b4404e56acc0a
a438efea6288f9f4f15f7d643bb504a34d38c343
f72b80855503bd44895e27451ed4972f4f376949


