# isabelle_session_info

session_name: Quantales
sources: 90c65399f494703066909bd1f37f4dcf42abae47
output_heap: a6f41a306db73a1edc711546424c1a31701d6223
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
ffbd0cc1d9a39ba67abb05d830856036d150c206
b559f531b82a56e97766afdd862a81e055dbd44c


