# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
37f0a6a60e649e45589e181bd233bf587291eb52
0d5db5f8bacd580775357abde6360aa29dc26b70
27f06b5c0186e431fc0979ed5876eca7417a779f
76b43a7c1b1005831a64b79a62748a8e06958bba
0ef158ca736fca3c6c5a363c6a7a3a2283228e26


