# isabelle_session_info

session_name: HOL-Auth
sources: 6bb57dacc2e809113ac582d08fbbf41e1f672b07
output_heap: 8572ef6c8784c56f6e0da4c7d74305fdedfd1ae4
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
1af3aedcad71efe17b78663b69931936110aab93
34f15badb9a644c12492cc350d37337dd4eb1074


