# isabelle_session_info

session_name: HOL-Algebra
sources: d2e98b3859ffe78cf98a8afaa4408f6ac4dda42e
output_heap: 95e513ba6391590a049628f05888045a67fb907a
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
c36ec8ef00f01a4e2bd4b25f5ae1dc872b72b08b
568031013fcc991cabb846ce8b2e5e264e5c1e29


