# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 3bb813793d1c5ee88131e6cc925045972fa9c7a2
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
7cc6770f142371a50b93a606997ecc5cf9fe14b6


