# isabelle_session_info

session_name: Coinductive
sources: 4902193c3cd4bdf0c839d0c9013b2b44d715e641
output_heap: 07d178abe30435f460765a0656d59b74bf240f6e
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac
e9f583b3750b5c1e76eefd343f7fd1a670ada61c


