# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d9b8312aab09d75ac9ca6a5b4f250f7122a9c5a7
output_heap: ce31e92535189fb0bc02dc1d2ace7190b8649e0f
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
6f5fa321534e9659cbf6a286aded159e529ea9c8


