# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 3a5033cd5b01847b6ab7fe223dc5e4012be7dbe7
output_heap: f8bac2f6e12d997bc451d26b1f68eb1368b5ceb5
input_heaps:
121670f361dd7baeac5619349401865bfcc8ea95
84808ddc2b8d6f62c145501677fee680559f5790
cfe7c2be7ab4c6e4faacf890b63a312e09a6c311


