# isabelle_session_info

session_name: HOL-Auth
sources: 781ddd8a72d022c4394543b04a7e2ee326be94da
output_heap: 509fc3c9d1b5fc4777a1f246d1c7b3a17f35f24e
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
600e22bc2edc8056b332800032b4ed87cbe79023


