# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2e6e04a6000e3e23b92092bae91297408972dfaf
input_heaps:
a5cbdbea838ef77f16e14081337468938237e3b8
5e28e41d66823be3e1e7586a4a6dd8b0ba9e5553
c4284ad2756345286d77a58625d756fd4093874d
deff45f2d50204f7c789832fff86ae61dceb3281
e4f66cc9f82448fcce3c1dbe8eacd1b13f769b3e


