# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: e5300a9c86ef45cd598a4330a80c50d3eace8846
output_heap: 67d156259d0dfaa7232d65edf6d8f59fca85ef3b
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
9bb744655530c7dac052b5a52b1435eefa0fe0a3
2091c877e07d76f0f3d31839cb52e618b255fe62
39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3


