# isabelle_session_info

session_name: Extended_Finite_State_Machines
sources: 5831bd3f01303b909dd458b4691e453a6c292149
output_heap: 69f9c83143e53105ca5b06cf0bb37a90232499a3
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93


