# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c883fb3fabc3733f7228ebb5ecdbe73af0b94cac
output_heap: fb6595defb3d581fb98b638695692eeebc20dc12
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6
ccc2431b95a86d60860c8572e6e980f18e2fdfc2


