# isabelle_session_info

session_name: HOL-Auth
sources: e25bc131bcbd426b1abc736043878ea121d3b93b
output_heap: c56bca7ca5907f2d2b502f156c3284b8252a5f63
input_heaps:
af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784
80b9f459bb77be29d11264f6792db6231dbbd49d
c7d9dd643866e1652594c7f40fbcd991b4cb63c2


