# isabelle_session_info

session_name: HOL-ex
sources: d1b2faa0f5cbf6b18007562f6982eb97ac52e54e
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
3e8161e3ad9c167f72c14cc19719a9df8cdbb71f
fa53cf05df296dfa046a20cd613826d298ef6e1c
f55b49eca4344d538eeecdf71973ce8cb2e4ecd1


