# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a8dcabc4240eefdfed81d39e6f7af0466ce5e1b0
output_heap: db5b653b9a6cf2f401b089c7aa847da6c89f643a
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f
990113833cb5e2b44680725cc0a2f56e6a6ded6e


