# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5d4d6aae144be0b333402a185126d22a07d8cb29
output_heap: 27f242a3b2fdbe0ad8c5ce6a03f51cb9840c7e4e
input_heaps:
55985286d4b602ca5aea2674b7213139011fefc0
a7c04ff07535d0dc83cb9a37cfdf185725166ce5
442aeb0c854704a61deafabd63160eb1fa0ad70b
4ec900af944b9a79136f1ce0802788323de5a37d


