# isabelle_session_info

session_name: HOL-Algebra
sources: af4ea6c873c2b67d8aa10470a01f346aee323b2a
output_heap: 2884f6c9de9aa80e11d0a440dc800aefc5574a31
uuid: cc85b884-404c-4ae3-b507-97f259a3df1c
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec


