# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
32c698b051d070758ee310ea41dcd60cc41b593c
6b6bf26782e3a422370d9fbac44a0d348e1a66d6
90934926311f1704b675cf6475aff3f04ea39e46
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
a438efea6288f9f4f15f7d643bb504a34d38c343
a66485ae7a650fcc8fb19b37468f99c32e2b603b
e6106d99a844b26f52fc9cfcdf46f542e7bb41f3


