# isabelle_session_info

session_name: Coinductive
sources: 46cf93aa729f66fa53e7bda2c70c24817db22574
output_heap: 9bf8865d84f5c0d3b40e62b4bd67d744b28d0905
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
26bcee65cc1ac7f404331f7de47d326b0c7fa708


