# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f47d8f9d68f5f6a3e525bd5441e5ba2c546c2edc
input_heaps:
ead191c1009fcececd2b78f8be974a6d6d02ee13
2109ae05d8f5ff853965c98e95c82e59021ebaa7
a1c19d363d56ea88ac852d76b1eae41762265b0f
fe8aebea0f166d97b5ca0acb07a75f1c91d6f5be
2db54a768844af3577ff0fd66fa3434c1025070e


