# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 8f6c93a16d12a9b9bb9e60703cefcb93e15c39ba
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
5b367cfca336b08e62d623b97bd1bc6cd38330c7


