# isabelle_session_info

session_name: HOL-Auth
sources: 98c19aae5e8299f3464c59198e6bbbdc6af724d3
output_heap: 14f87ab593c3bab6177611c17d851a8b1519f86b
input_heaps:
2922a9760d947cb0cc8b078564aaf1bd2d436941
dae8aaf71c6c8be05abd6464d3201dcaafc60276
deaabdde9c051ee779aa688c5999d5f3bb29b1fc


