# isabelle_session_info

session_name: Quantales
sources: 6e0dfb77794dd5d59b3d415c6c635c3a9066d830
output_heap: 48a43072b0338a19c489b17809350f2bdfa08960
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c
85b7f7fe77e3bb29050d25d7220532619d88367c


