# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9370ee0503d79240525bb2579efd4a7f48f2f052
output_heap: 1db97b194523d7f274347c3e8a6d55b220235f42
uuid: c2eb7d55-6f55-4c14-8305-3648b43fc99b
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8
aa382d421fe6230efc72b135b15e718d6b187454


