# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 745caeabe24f353113bcdf83af4194a7479f6c59
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
48a2f3c8d9b6f12b5d05981a2dfd52459148ec64


