# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: e785553939383e14e04aa70dac15ea6ef93a80b4
output_heap: 1f9bc177b99d56f196718704e19c133546921133
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
0c7222acb2f8e09169b7d2593c58c45a088a3896
556820ad845bca337498c26dd9298bbffc8e4ab8
9cfcde4f96e02db2f7a063d9154271a26ebf3794


