# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4d832a311217dff6477a7a404b3c38579f85e2aa
input_heaps:
ac8f8db169a1aed7390bac47335c1f3fb99f78e5
b6cce1e1d33c0d17d7395f24a436b50911aaac97
85ce2e6de691a703d096ef69845c8f4f6540e35c
4d84804b5f2244b10c966d63f8b812fc64a69fae
49ca5f43266d5661464059e96aff4a5b36dee91a


