# isabelle_session_info

session_name: HOL-Auth
sources: cc1230012da54f0234cd9e5cb3cd08c3eb2c6b5f
output_heap: 49fabfc4750e66f622a2ca1eb3dd94c81f942fa4
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
6f75f36220cfd6293dc7135b60e38814cc85b7ac


