# isabelle_session_info

session_name: HOL-ex
sources: f816c1bc60d0e94fa6630071d557c80b33ae306f
input_heaps:
da36a99885b072ea1df6da1ecd17877fde202f52
bdf29acc00c9b494811f7778844336d9d406d3ec
fc50af8af4747fe4fb2fbf997be512c5134346b4
982130482d32ab9f52fe75ca0ef4f9947fca3cad
45fbd3c1480eb9c862e1f2389cf2b82095b9e9da


