# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 45bf53246c91705511bb6d55b8fed2386cb78aa3 fc6eb76f4f71f20609e402f2e6f12617ba126277
input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
dc82334ae3a04eefd42f60d419290f8677c27cec


