# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9370ee0503d79240525bb2579efd4a7f48f2f052
output_heap: 94d6a91707b6b0aeb20d33eaed0e4e1050b4ce67
uuid: 7d8d1e85-4acc-4aac-bd8d-e4317513428d
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915
0f29a6d64af62cae9d8d38651f141bc9dd3431ee


