# isabelle_session_info

session_name: HOL-Auth
sources: 363ce85b7a7477dea371a68c4a6ea2dbe6bbcc95
output_heap: dd72c95bb6e2b4d6d52cb47c3ff7525d04e2226e
input_heaps:
3ec2aed6e56052c24ce5cac914b0579704df917b
463e1b5d04f25a3da6ccab4b394f1a960d47251b
b75140eaddb22ffd906dee0374b7b79ced3a3e38


