# isabelle_session_info

session_name: HOL-Import
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
3e0b5514a519a42b5e1f05e93675fabfff5c907d
7363cd76494e232e3cc935c5820ffe8d07f267fb
8d9895ab558ad402123cf593f5efddbfe5e97763
a78d4dd789817ed482da929e68c820bd97fd190e
bd95d767f18da4eaa1bdcbf71b4c9f5f63735b35
c3af951fd9af3855f92bf6bcddb1bf0fb3d2dead


