# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: 57df94ba9606aa77a9675b4b9692c5407dc2bb30
output_heap: 8e283376cf7ddb3faa223095bb1ec11d6808edf3
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
858f6cd8207f79c7ac7ddb04778d17fd495914d7
9bb5f26e1f3ecd30378fd845a664d648e23e2eec
6c5a22c2e116427b9151a47a5b9dfa20fb726fba


