# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5f614d2329a2394390505904efa33e2e812724a1
input_heaps:
159773851650ac68d3c2cfe38c048d4c887c247c
f1609948a6431f29c3e36d835a829345e7d4b3a1
b04535d2712ce58717caa008c61d08b556175234
a769e91c7f8d76484bfc3d9fa139b28a0706d544
62636f44ac1c30f3e1bb7bb8dae6fee5f57ef5a5


