# isabelle_session_info

session_name: HOL-Auth
sources: d40652b0ea18034982ee09392957b885b1d71692
output_heap: 35ae17a5a9f0e0d6ab8dc082cec40a34e0bfd7ae
input_heaps:
af6f82155bf73f7bb583ccca2ea0903508c15c49
d46974a3086b030c59882507bc02c46cc6680af9
8cd398a6bfa05ef8b8464339de16f1b6ba0f545a


