# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: d5f22f558c9598269a82fed8a892c79ec5fb6622
output_heap: 2dd32bafbe406e0b35f2388ca047a7d247fea797
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263


