# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
136113a3be05252bb43c72759b745103f0e24756
5368723dfb3f2e1392344c94d5d289328eecbba9
1d1c3e121e21149c3259b6b6571f5c22fb7a9f7e
5d59f799cf75ea4ac77694b612ea333b66ceb6a0
8765a12260921f96c89423120841e545d8931d09


