# isabelle_session_info

session_name: HOL-Auth
sources: 9d5f4f5ae603f00bcee466b683e1e0d3114c91e8
output_heap: 5a16515de18b36fdd45530faf7699e8f5bfa1b8d
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
f1d068c99c2f76c530db5071deed5b4eaab1d8f0


