# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 31b8624a90b7b6dbeaeeed4bfc69e8f8c62cd1b1
input_heaps:
4ffcfcdc02ef3f1b5abbf97520a085cc79a504db
f6383c732bf7a95b23155f974528a61462f86e5a
6a3f5f08c6ffdfe95ce8488b42ecec24e61ca1f0
7fb6eaca103a7d0d07add14890a223e9ff258afa
a71fab0f3c6953958ee01e512ab4cd54f0032769


