# isabelle_session_info

session_name: HOL-Algebra
sources: 6f0c891f79e72e5877e9819ef650aa644995d08f
output_heap: 3a83b03b2f479c08459e1f7f12b34a76e406b11d
input_heaps:
144081708d643f12bc07862a2c56f95089c24593
82f7148b5f30d0547ce70b4793c12f020624ac86
0b0299f582ec523120c613fd3dea10a7fb33852b
ff31ebe34556ab89251b91fbfd5e1b1ab62d6e56


