# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: f1cdbaaf3c59c8a45237850d807d748c2e578cdd
output_heap: 52a4fbb52a21a52eea34026ba56b5ab097a79dd5
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
71a93dd97205bc048130ce5c0dfb2434c6d799ab
f34d37ee74795ed0809f2386d419d21b65758633
b47601f28ab22d459238673c05e85b96f65cf3a0


