# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c8a0a2e31f174621290e075338cd94ffe55bffcb
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
5155941f44c3899c09b9f0c26be9b6ddf8fd1e84
073c24f64f15315980a9506eac20632da70f64d8
9ddad9cc4e16fc961f97722a39e5267260329202


