# isabelle_session_info

session_name: HOL-ex
sources: 350418997b87ca35dcaa9a912ed53d24941485d3
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
03398dfb05425319c661f20bad24481b5beece9e
a2843c26f197143b84eecb74b06270702e444426
b11b75ee5e9e059e78a739f1cb67c5f043a7a5a5


