# isabelle_session_info

session_name: HOL-Auth
sources: 985291ea4d249d59d79fc2e6a3753ada6db0b0c1
output_heap: 409e86d78a3b33ff5027af8e903b09a9b4a670ae
input_heaps:
8e746ae3b5d24dcf537ea0091b8c9f94dd892450
96940058ca3bea5d50ecb9123c65c348b0504148
49c0551f7fd64e45ca6a4bcbc200dd4b389c44a3


