# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1defbd85c31a25f7c8a4058df35b716c8c81073b
output_heap: e3f9029845c01c10209a313a8bc3db7f824b1cd9
input_heaps:
6450dc2aa913771fa0159410165f3f6e6149c480
a7ce1774be22ca0ed19dbea2c9b9e6e66619b0b5
0267aa22191cb79844d19a5ac3ff215c9b29ad66
6897dfa3ebccd143d293556a970b741aa57045fa


