# isabelle_session_info

session_name: HOL-Algebra
sources: 0f19767c8b579f0a5d0917a0c5ca8466e0c8d54f
output_heap: 85e32c66795eaf3b708d1643c337027614277138
input_heaps:
7430d2c0a1b08934e5f6cb35e5fe155e1341f0ec
144a96b403b56eb57a7d98fbcc98662a2732b6c9
e7f2807964d294b1bd82041a5dc1295b25dcfe01
4c1c1b6e02a15e5ad0555f83762d1d7ec7fda705


