# isabelle_session_info

session_name: HOL-Auth
sources: 642a39b6636321607700d335ff865a8349160ef4
output_heap: 9a7e2492f62a22e0c4a56cddc9495be1f96cd362
input_heaps:
95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546
d01107edcd6213a1a6600255da677abaa24a1f97
811832a6b2c59f06298f225b4af9a73f6d01f3c4


