# isabelle_session_info

session_name: HOL-Auth
sources: 79e50758494a96bd4a8b5f83dfca69f361d371b3
output_heap: 0752bbaf02068a4743a0c9c43e4c3e6adc6da676
input_heaps:
b32ce723b0c0669b9208cb20425fe0e449964a29
c8cabf77ca89781c09f0ffe7bdb60b594b63f54a
73d2440a63a8e1c384f5312f8260099dc1aa58ff


