# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 3126cd85c7f3eb224273daa9715b39e4a4d11312
input_heaps:
bd250b6fe2745d27d692ec1e5be14c03860b016c
ff7f952b4b87130fc0230e1804ac75502f28965d
a6f4395ca58e1eca5a9da4204f61d313ed481199
3e9eece8842e9ded9fb0ba85da26be5a375b5ec2
f475f99cdd828a868fde3d312407e0e6c8aa5dd2


