# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 095e1bf82b2dfdc19d066bfaa6621b2dc9e1dd37
input_heaps:
09b31288d2a9ccacb2f6f283c9625a7fdbd68e8f
1ec97cb3aeae702d70f02f0eecc00288d6bcb40b
d7fd1b67bf01853fe729dba76ca9e46b08487358
ec92d300a5b07b8cf22eb8c1f9d10ab414a72d2f
f48c61e73297adea01bc1504564c76a0b00049f8


