# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: d53571c83c578962db628e7707857422ce7f46f0
output_heap: bf0d9b41b519a23ff6082eb1b6f7240b8b3be1ec
input_heaps:
a4ba7cad79e93154755ecf490de1fdf9800ec2f1
9d9315b41c4672e693f9c72923fca8342fdc286f
f5e6f7d33415648509e3ba559dbce155d4436d21


