# isabelle_session_info

session_name: HOL-Algebra
sources: 1f10f28e911868ca94a5a36c0adce9b2922668d2
output_heap: ace369b7753294703fae2a619fb0f4913f1e2383
input_heaps:
37103d488c27efa28e62851c2ab720a8f6785f98
aa62ce07a788d1f7f0daf47f49f5216de134e799
b0b115036b848da6c34e33daf1b42d1fa20b31e3
57edecf110a08996efbb701a6e7dfc6e3a779918


