# isabelle_session_info

session_name: HOL-Auth
sources: a908e306db4eea1e72c708ada8b9eb5893c1b698
output_heap: 10208547fd4bd179e3ecb8566271b22942d49577
input_heaps:
5c2e68da34e0be81d09bd6288ca8dae0b78aa71c
82612f1498e7c9bb1a1152f7158cfbdc7a6da82a
3bfa6b63ae4d31eeb46558c0fc8f07e65681a4ea


