# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
32c698b051d070758ee310ea41dcd60cc41b593c
90934926311f1704b675cf6475aff3f04ea39e46
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
a438efea6288f9f4f15f7d643bb504a34d38c343
a66485ae7a650fcc8fb19b37468f99c32e2b603b
a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2
e6106d99a844b26f52fc9cfcdf46f542e7bb41f3


