# isabelle_session_info

session_name: HOL-Auth
sources: ce23f289191241fd7b22951679a097221dcfa769
output_heap: d2b2406e674c939e83e0fa7a6fde66393875247e
input_heaps:
2bfc9fa8902db3916d36ec4512397ceb264483eb
477271fb1badc091331ba1e4626476e1d6c56cde
11a74db1d2d9d127e73040b1139a301c3d720f1b


