# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bc68db85efdabbf4c30099d0298c3a7f9d8292e8
output_heap: 2e39f7fd8446c690b5eb32bb853f0df4a4d634a9
input_heaps:
a681f6653dbc3911110a79ad31633f9a1fcd6a75
adcca596685e64fd6307a9b86c351895878559b6
2da665d82e564bf7df7ab107d269aaed9a2229b9
9f0385d25848e7d5faebdbd4ba0e06149ceed999


