# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c883fb3fabc3733f7228ebb5ecdbe73af0b94cac
output_heap: 002d451ca6af0d9a7bfc60efec1f5896fe0279c1
input_heaps:
5a65cfc9184ac5fcff440c336649c488e962f666
d0455d08675ebeb715f124bb5eabb8abf79678b3
b38612879e92db38622e0825e4316cdaa535a44d
f7add459c17faa61b65d25e83e22499736a8d1d2


