# isabelle_session_info

session_name: Free-Boolean-Algebra
sources:
604e0cfa691479812da4652aff7aee1c24f64a3e
8e39d8b371bbacde51838f4453f2fd93cff350d2
e79a50293a173d35c3f5bd1ae1071e4a6f757ac4

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


