# isabelle_session_info

session_name: HOL-Auth
sources: 07c0a518d58c4306149c493872f0cfd396f5de0e
output_heap: 50cad38bb92f5a9e7565ce515847c46b4f17910c
input_heaps:
fa37635535c1a91559f94a7dc9acf81e08caa63c
108107ba6152a8567743bcd769d1dd970013adfa
7e4070d2ba524418af798ee984dfb220aaec7062


