# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e92c69e6ada0f4078d4cc021fe439ba98f9241ba
input_heaps:
8c69b9efee18f61099e59a5c1105f587a7f8c9a0
35b3c51d1ce4ea0bc62a27bf61e30c51ec73a0a1
8e6c1e2b8d4de3a28b031281de30e6f9c83d2f88
2028557747bf8e60d8312fa1ba048c6cb129fa2d
a80aaba0b2657ea92f6f2090022fd7d0a047f211


