# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: 93bc5b71585b2d16812f0d8ad3e4f2f6adebecb7
output_heap: 9fe404364e32b3d860c278e6837380c103c50a03
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2
ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a
9c98d8ec469fa30c047d304abfcb6470a56ad01c


