# isabelle_session_info

session_name: HOL-Auth
sources: 6f6676710467a8b5b4e01cca3c516339f09be00d
output_heap: 8b1b0bd9959fa73e6968b50395c28a1182ec8f51
input_heaps:
a52852326379afee2cdf8f94e7105ca039ab9f98
4b399c4375d1ace873a060528c4c23646f4c8a2b
0bc5bc6abe597e017cb6fd19fad429eb4d8def51


