# isabelle_session_info

session_name: Quantales
sources: ae3071a8c7589830770a2eac3fd4e8eadcfbd3b9
output_heap: 141e124847b76548b2caa05dbbcdd8696f700d4d
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
b694a7fd8200e19f61febe1ab6dc5b6cde9e1de9


