# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c45590d275af2c4c6f57aa4f39f9a0a535fd63db
output_heap: 2412ec83dbd41dcace71649fe00133c1a6742f6f
input_heaps:
7c385341d59add624f3803e0e2d207c16fcf2b8b
4343be3d37156aa8739d2cac200a596017930174
ed9fdb5f2057cd9762dca239523ae99a38516ed6
3e6e9a1f9c277f7694158f1cd25444c0dd912e6c


