# isabelle_session_info

session_name: Quantales
sources: 6e3aca2110554bbb7f1f102a1be20eee7b7dec4a
output_heap: 8d25eef529a26d4de0b373d24b56a06767cf2736
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
c0b931654b5c8083f2fc28a3215a01f65d0e887f


