# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: fdd99926c53de4b9164f84559ae70cb2e5f1ab92
output_heap: 3111f05877d74921877cf1cccb8542e0617ec285
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
89410226957fcdb39523cc3f1c5d64466f785ac8
6b5615b9277f8ef468b4387c0b5e528319439662
0fe37a294ebbd3438f0941cf3b163e48f0018ea8


