# isabelle_session_info

session_name: HOL-ex
sources: f7b713cdc4c902d0ffa35335db91e7fa22b71aba
uuid: 31c5aa5f-2da8-436f-9c87-5cd00702493a
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
45fb46239bed9edfa44deefd0331bb6c9b29cb46
df6e26d76e3eec4055d8c33984982228526f4cbe
28cffdc5bb1d3a902825c8a98173cb8d4c72f81b


