# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6090fff772df42fffbae56b1c577114ba04c2c0d
input_heaps:
51ddd6744bb6cc8688864f73b2f7b44091f15cc2
b12aacb2ededdcaac407d06b1294cd215c6b27d5
25806a3f1aa0681859e099f570857fe0f3a4da9d
e2cf34a47d494f0d8ae9ea5e06cb737d29d63201
652966fe48207e8c8595d6e4a1d95854f6796884


