# isabelle_session_info

session_name: HOL-Algebra
sources: c00f7fe9ae3241584122d4e773d78fdf7b6ef436
output_heap: 0d480ab04daaeadb3cb452c41c4781fa3bdfda53
uuid: 2c48559c-69f2-4ea0-81b5-bdb3c9fe9820
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea
5d875b48d134361f0d5b20c4df4fb771b821d802


