# isabelle_session_info

session_name: Transition_Systems_and_Automata
sources: 283b887238f15fbc2c1390fa998ceb98b03109a2
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
096d0994a23a585bab5d08d06d020c53bd18ff5e
3387d7619638332a8eee98a8dc674b1a8a62c852
49a3b8ccfb40cbc5ba61de038150715b6778be0d


