# isabelle_session_info

session_name: Quantales
sources: 69fc8b9bd6b546af2afb2d84930d49ced28d5fb8
output_heap: e6d0b3d2b30ecdb052ad57159b69fe0a9c0e71a5
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
f0d3c00adf5cef544b206d47d19f9c2e06f8d1b5


