# isabelle_session_info

session_name: HOL-Import
input_heaps: 76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575
sources:
3e0b5514a519a42b5e1f05e93675fabfff5c907d
740c0ecc05ea75de52c894be10467445b491e206
8d9895ab558ad402123cf593f5efddbfe5e97763
a78d4dd789817ed482da929e68c820bd97fd190e
bd95d767f18da4eaa1bdcbf71b4c9f5f63735b35
c3af951fd9af3855f92bf6bcddb1bf0fb3d2dead


