# isabelle_session_info

session_name: HOL-Types_To_Sets
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
sources:
329fa7e8f61a08ff01e37f2938689d344ed0f5cf
3d25c66814292285c616395bfb17b2d602aed3b5
496d8277a7f2716fa08668c3e7ecddfad8ebb95e
797477902c2504b4a2e2a1dc7c289a6d4971d165
c2a3023e62a8a7ba501c7d8e844ac5e103bf652d
d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28
e14af5b9076a9f726d4bab9022de27f313a84125
f82d3b244f15f3b4829fd75e899ab0647ef25bb5


