# isabelle_session_info

session_name: HOL-Auth
sources: 5c3e9bcac6b769496065ab0f3e5eea2e2d047dd2
output_heap: d0f41988f5ba21126801125bd0b82139afb364b6
input_heaps:
4ffcfcdc02ef3f1b5abbf97520a085cc79a504db
f6383c732bf7a95b23155f974528a61462f86e5a
6a3f5f08c6ffdfe95ce8488b42ecec24e61ca1f0


