# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4dcca6c601c7e2fc470ea4d7ab6760f56425dc09
output_heap: 1d82be4a56f6bb84232abf5d6ada31ee2992bd46
input_heaps:
a6e433edc661d0701a70abc3dedb8c23479c8e91
01176b507ede2902d957814b1e2c10738166b57a
ca3865f29d459dabd0ac899f7126246104ac7734
7bb6d39717b470b520dfeca88de78474965de6ce


