# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
3d1bf67a605293cf88e2c3957ce6d1373138a002
64cc12b1b21ef22d2fc73d5c7f5b09e605cb0da8
098506459d499f4510fdcd2803a58d69c36a879b
80943bd1406a312786ac4d083ae7b474e5315dec
3d3ed14f2a56afdcc0da75544a7185e4bdf007e3


