# isabelle_session_info

session_name: HOL-Auth
sources: 79e50758494a96bd4a8b5f83dfca69f361d371b3
output_heap: 0f50f32f3b99deafd1929a8183c160e2988d9874
input_heaps:
1a50fa50a5733030b299d3e325bb45ea88e85f95
fda138bd8b20e81f97b01273ebb208754d9551c0
ca7bb0f0db195bdc3912492b737e3be4327f83d3


