# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 06b427017c787980b038b518412efd7a7d2022f7
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
430e9de3efdee3e74cea0907e193395680a2872a
aa7798b73ae16e482f7d8cecc2f531c9feef86c3
6c111bc4eb85cd69563f27e745b7089d0bf3e836


