# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
7d71378dac1c1d0029d980a86ca8279b31f9212d
895073720b658c47c18b694b22d63c151ce2d1c4
e9fca47370dbaf54ff173c66c7b3979a87d9a24a
37de28155483928fb2663aa241be1e9677133ee2
1119b82505e046bbb71e6dff71d5b92d078ae377


