# isabelle_session_info

session_name: HOL-Algebra
sources: 9eb64f42bc9a2b4d295ca2fb4aa550127470b663
output_heap: 1de9f33366b7b3b97a4cfda49472935474a81f6d
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
6079627d7d05db72dda14392cac7f6be75c78e42
17a0d3bd741f4798e0fda5ff9df7cdd8f1a946de


