# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: fb02a38e64a41a6b62c7a6baac390ff86ee3b633
output_heap: f8d15b1647f641c4b58dac72b2dde873f332dca2
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
89e6978f83d6894884fb27524a3930891af11752
8d69627d22c6c361957dd0deea6fbb55573c93db


