# isabelle_session_info

session_name: HOL-Auth
sources: a79a4d431d7233da593979e8dc614f91646b46f2
output_heap: cd77ce2e51b2a5df44b313dbc498a32aadd1b9af
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
780932cbee63133eb07728d450068427595acd7f


