# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6f7aaf673a72f321c87c3ae51a5a42afed913c95
input_heaps:
29742d31223b1c0da97cc510d551770e6645ed56
5b36456208a73bb2a10db178da06a25c6ebd398f
9860dd1d9ff7e0b6770b714e51aaa9af77993e52
0af13d7801b6a74a73857bb09f040f07c339cfe6
309a57133f0cf03fa4d45524cd20d0a35dda0d1e


