# isabelle_session_info

session_name: HOL-Auth
sources: 730ea3c1ca284dfdd6f687670861e845e40a5687
output_heap: 1ef438999eb991b0019a1f39dcf2e66b3887d554
input_heaps:
ca6ca63703b7463f34152f8ebb45f6a008f4a8fe
54f50399e87a773cc8b9758fca963ce4bc667198
fc34e090861f45d52d6b5f73ab3d925107324dd8


