# isabelle_session_info

session_name: HOL-Auth
sources: 5163746be9ced80a2bdc51506c586f1653f90b3f
output_heap: 07d4f991459b0bfb605f9d20e204ccc2a3c78f7f
input_heaps:
3e83dd5e90049264613e93edc26f52cf03e9ee22
1342b6ac7e20ff64ae7c2b259f02eb6c015e9b0d
871c6413532f2e68769d020bbff9eafc483d2a1a


