# isabelle_session_info

session_name: LTL_Master_Theorem
sources: 0b01c5743bd4840ea9553431fb425ccb9d8216c7
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
41397749331004e6e89a92b9edf427dce3f44ef1
dfae79588919b5834a93298279b56c4625da02e1
38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1
b554e74af50417eb67b0d2c902bd8eafa65abfcb


