# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 12c85eb54675a037b87a98efd81fc4aee74e51b7
output_heap: 47aea242462874fd30cb951636892592f3b54551
uuid: fdeead89-b5a1-4967-aba6-353dfd420547
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7


