# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 27d57d99d260820fd5a6955874827c2cb938fd14
input_heaps:
37d4856c8262aa3a7dcffd62f7e4091b574dcefa
866ec2026827303507f1599a51936e6e6a933e13
0711c0eca0ab3d270aead8af503f11a6e2ef8d17
b2c25d61e66c34ff8218a814f6ddf120fb70584f
0db8d4205f0c15e5938d0fd1c8a0c4e1de1530cf


