# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cc441a8d290461766b8b3b9f458b0b17f8fd5512
output_heap: 7a8237959e7d4acf3580896e05672dbd635242d7
uuid: 6c289e3f-20d2-426b-bafa-4ca90aacc9bb
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581
5c31539334c9e8b403b71af82113fca3aca7c435


