# isabelle_session_info

session_name: Coinductive
sources: 85ab41b0cd67a38d8142b5b177bca0d6d85901d0
output_heap: 79895efeacb13d88a3fa263f1354e39e462ac6c1
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f


