# isabelle_session_info

session_name: HOL-ex
sources: a28b06d0cce53bcfcf211737c6ef340df128481c
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc
92acb95f5d952f2d8413cd40e3b7f9c5c419ed5e
aec31cda2ac84eecb62100141e94705ab2a752a9


