# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c730f02980dfa9ee915cc2ff55a143d09f86bf6e
output_heap: 29097f2665e03b6a49df27d923d7b216d27b4a9c
input_heaps:
070c97b1fc03a84293ce36f48f7c320c6568d381
25f3cd71b7b9ab5695049d9f645e95d39465f5de
6d6cac042320f3c1e1f5893506dde5d818ef9e84


