# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98
sources:
185b62c9a47bec524007ec7a2225b16a8f4b9349
228567b730aff0977dc236c9d7d51c49baf7082f
2c49f0b24514d72dada5c5dc36e207195073c17a
32c698b051d070758ee310ea41dcd60cc41b593c
5117119a178eac69d137fb85243808da2d667eaf
638a0aa03d2785fc536bcfd8b9e9bcfe91be0ba1
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
9c580967da24d52b7f0197b4845b4404e56acc0a
b245498a6e16d0c15509d6382ea878776fd80ccb
c9a7834754ca020e75afb9d98e309c88e75bfb0a
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


