# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: abda92d4a11355900cee98e788fe6e22979ceb3a
output_heap: a48728d6ed3901b1600f36b2b1aa37e9da4aad80
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
e27bfecc3175c5bea938916291a381f36c7f2a5b
e7e13db9495f7d2da4f10d4228403992147202c3
fa713061f8e30d532f39264f1cfe8d70c2a9b13f


