# isabelle_session_info

session_name: HOL-Algebra
sources: c00f7fe9ae3241584122d4e773d78fdf7b6ef436
output_heap: 1795721accfadc97957d4bcad5916fcd48af7a72
uuid: 9d05e1b4-cc18-4cac-ad2a-ef6ae75e8c9b
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d
099d19102908a42ecac7f12742ac19d0758e97b9


