# isabelle_session_info

session_name: HOL-Auth
sources: 76d1674adc86f7a0f9adc65403b19f62e7cd644d
output_heap: a9bbbd096377f704c04a207bda1133403f89e944
input_heaps:
b3fb05f5e50942c4dcc807a50dcc11409ab39906
759571dd32091ee0444743824f9c8116972466af
05ad400047d12a8784473c927a47c6142253e609


