# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: 7271b584f8991e823c2bc64cb4349caefaffc886
output_heap: d8a05c24a938ee0da33caeaa4697c531ca11df59
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
04446ecde9b8c648f0e184b13be6eaa21b45ff29
6c6f14e3b60316a0c2e12d6d583be201641e231b
a7c7a399d55d87b84322992e7ec741372828af69


