# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9f9f0cc4b0d8e79ac3164f26e70ef6183d33c9a4
input_heaps:
52519c7bb622d0149ff1a65e75361161de1fde82
44951f282c031f99bda3129d41270170cf629e89
efca36a8e293aa80a864ba338cd45a288a56ae2c
cbd3a460d59e5b07e87ae6dfd14a5c318aac2427
cca154d01cc0909c54767152a45f955198bedf83


