# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 2bbd9ef9f27da38e9def0d5efdf174f760c4e760
output_heap: 871392edd33e357a39976549b850666d6daf0bf5
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
9d96b3461bff4a64b26cc6763863aab616a85f5c


