# isabelle_session_info

session_name: HOL-Auth
sources: c9d7211b6328ab344eb3eec86e1c2bf6d86596d8
output_heap: a472ad8006c0c01835d55960e65dfb6e1e4ab0af
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
48f356fb57a4f791aa7bacb846a57ecd048f2eb4


