# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9e490ff8d5b48e4b90872561304ef5e861b673e0
input_heaps:
3af822fee716c8c3f7a258f5d449a67bb4886bf0
419241d6c416195954afc47f066fda364f6dc3ed
fdc03ca952027d0bd33dc4c7de67a23c01f4643c
3b6b6c5faf15e3dc532091c5cbfacc62eeab737d
42dda6797e601656a4f370d999e27090a8b31882


