# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
sources:
0c9469e4651698f44e3e228873be074985fc67b7
2ef530c3346e5f584e31f63f116fbb74cdb16136
32c698b051d070758ee310ea41dcd60cc41b593c
5117119a178eac69d137fb85243808da2d667eaf
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
7bb2894bf6b2b1879e224f67e577c429b34466a5
89d8f62af42add378a11d94d563e9cce40bc34af
9213879a82b13230bd1856fa33323351ef7f5614
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
9c580967da24d52b7f0197b4845b4404e56acc0a
c9a7834754ca020e75afb9d98e309c88e75bfb0a
f72b80855503bd44895e27451ed4972f4f376949
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


