# isabelle_session_info

session_name: HOL-Auth
sources: 16d3a433ba179d9a04b7451d9bca13226756d32f
output_heap: a01c7a6a75387a663dcf7fca22c57621f4dfcad0
input_heaps:
25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8
4b1bcd999efac6b00836aa12847098a98441fc74
1d7bfc58152e774ad557a4e7823ea5c0d9237533


