# isabelle_session_info

session_name: HOL-ex
sources: 66cbbd3cb201beefad4935caa2e5df23f4a4c684
input_heaps:
e16f84d7c340d8045cb3723a318bbc6979d10b50
eff78744afe789aa6bdd15553f69311e18b4e04d
4cbb7c7f0eed6e8ce78136f79870af8adcaeef21
b951b655e3235a7eb9dc6d4d1eca495eeb44ffaf
949f1b326ea305442370b2ec5aaccadffce7d14d


