# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8401ee5d2ed1505da25f1fbfccc4dc53bf49d4bf
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9
074d41fa08d0278e84f70d5d49854b0b4c90218f
c0ba42932a4af0fbb57bf914c2fb02eb837e48d1


