# isabelle_session_info

session_name: LTL_Master_Theorem
sources: 2955b2b4b7cc731c6f8fab0ac8a8035a31e8dfb6
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2
ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a
9c98d8ec469fa30c047d304abfcb6470a56ad01c
9fe404364e32b3d860c278e6837380c103c50a03


