# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 01f283db4656e8efa78c4339fa1b1efedfde3c18
input_heaps:
5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362
8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d
afbce13905250e211eba44b9e6de1482ce641895
ef455c523fcff11a36327bb10500373ef59d083a
46ad67ffa9c5da3b2752ab414af6a1a9936f516d


