# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 65769c406d6c0a5c1dbc2e8e33a4b74e73c4f39c
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
07ae367b9b6b04e6f8ed611586792e0303739300
49c3389d37e6716130e2a81b263fc3857bb10073
8aa413f0c3e81f545e3b3c57f9892ec6e2246848


