# isabelle_session_info

session_name: HOL-Auth
sources: c9d7211b6328ab344eb3eec86e1c2bf6d86596d8
output_heap: c3fdc94a994bd430d1b2799dddd60e06655142a9
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
eb37e5ba364e75f2c586fe34fbb117952048030f
b5b9691cdcaffa7d51d03b456bd04c81fd8acf86


