# isabelle_session_info

session_name: Transitive-Closure
sources: 7bc89c71b10776825a15907c5593e6ea757b5adb
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
e00e737ce82e914d2086c7aa07977cba8cc85cd4
8b973de275ad44dc1cc0022372b397c51523491f
7191e05e1790e583eac4e44ffd41824ee75d77d7


