# isabelle_session_info

session_name: HOL-Auth
sources: ac6a6cc00b4f27c14015b96f227f549e1603e1ba
output_heap: 428d387b179afd7815bad75f93e32d2be7c01654
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
9d57baec7568878c083caab485bc257f450f36b5


