# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: cf1490097311c0f311c608666a6b755669031cff
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f
990113833cb5e2b44680725cc0a2f56e6a6ded6e
db5b653b9a6cf2f401b089c7aa847da6c89f643a


