# isabelle_session_info

session_name: Free-Boolean-Algebra
sources:
604e0cfa691479812da4652aff7aee1c24f64a3e
e79a50293a173d35c3f5bd1ae1071e4a6f757ac4
ee7f67872e9c58a155bab549f35199e43a6d3519

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796


