# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b79e0d176dd36b786c464642ce97a3103f4697f1
input_heaps:
12f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1
46ad376ad2a6dd11847ad9345c3b8c722d541914
d611b1ea0c787927981a7162f54cf88881bebab5


