# isabelle_session_info

session_name: Coinductive_Languages
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
32c698b051d070758ee310ea41dcd60cc41b593c
6c4b44cffa39aa21f675fd39d2560fd98c19cfca
8c3f98f76e059da6db66aa785d3bc61a80f5b332
90934926311f1704b675cf6475aff3f04ea39e46
a438efea6288f9f4f15f7d643bb504a34d38c343
a66485ae7a650fcc8fb19b37468f99c32e2b603b
e6106d99a844b26f52fc9cfcdf46f542e7bb41f3


