# isabelle_session_info

session_name: HOL-Algebra
sources: 6acd1b05a2b52ea9d51b675e0dc6cbd74e6a4d90
output_heap: e04ead78efea20a18a8e3422967ce5cecff81055
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
bc573c580f6cf52e30c8d6bb98a2b86ff57487eb
ac976cc1ab84f84e0d8f4f5fc9aa8713f070f539


