# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: e599959a86575d0cc59bd7ed9edd57d0ba843dc8
output_heap: 0930daa8954dee5ecd405620a9ab2a76798553e0
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
71b2093ae02f0a66ae46b61dc8718444cb0f95cf
076e49288fb50eb3c080af91c3e2b85d0163f7df
ba4a960026c3a5e2b3246173397e60e7c37fc9c4


