# isabelle_session_info

session_name: HOL-Auth
sources: 2f2ee1b259722d944b662529e5efd4f0df9f9353
output_heap: 4e08c1694a722c40d321677d8cb580064cb01f7c
input_heaps:
b5db32649db89f76b1ce56237e676f898e9d50b5
5cc5613503d28c7360624d52aa81851a5e1c5a80
de400e153e6db4bb3c973029c7aee5edccc34935


