# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 16970f848d3cd732c9f5e6835ebe738acc273ba1
output_heap: 68bb240f93931f9f61e2a2d9e9996a04d7cf51c2
input_heaps:
a2fe398aa5bbe1e9167c32c9440835ae76233687
bb893dcfe41cefc4a17b5a562e7b39f67c6612ab
0e046893711c861141fef1d6277a6f1463479037
227442b3c1f9ae327fa655c5a8f2c8155cc1e4d6


