# isabelle_session_info

session_name: HOL-Auth
sources: 527f10dc01f1b540d360fbf189b8f17fc026e65c
output_heap: 9499f73547f30236ee458c29e2ba72166938bcd7
input_heaps:
6d4536567a2d054a471600bb1a15b22f2e4e18b7
17ad37aa59356dc3b6833c64a9451d5e4da1a182
6e1265463e5277ff22c4e0a02078cc60c5c0e6ef


