# isabelle_session_info

session_name: HOL-ex
sources: 611262c9184122c1cd0497390d203b8e4c09cb69
uuid: 328381d3-b38c-4cea-bb99-582c0b885c52
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d
099d19102908a42ecac7f12742ac19d0758e97b9
bb32883afeb7eb135b524c15bba87c6fbc3bc5b4


