# isabelle_session_info

session_name: LTL_Normal_Form
sources: d47d798afdb195526248e9ac53d0517c9604df60
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
898830bcb7e9e29f03aa09147c1aebc9c24f318e


