# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 88d533e2d996a6e8d1c6b391e8660ee169f6bdb4
input_heaps:
25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8
4b1bcd999efac6b00836aa12847098a98441fc74
1d7bfc58152e774ad557a4e7823ea5c0d9237533
06af6ad9ff151f24f21287bc4266f3b06cc7e227
9f8fa08f26454a0414abdd28904d5e8d1317a3e4


