# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 30b338e7d5d6da755182eae7e0e2edce9962eb81
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
d19ac00017152fe4051e0b514721219e8efdc563


