# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2dc5fd927843d9b76c05a08d80baf15f3160e655
input_heaps:
60a148b45ba9a77d08275bcbed1a4e03ca2f42ac
32022e6d944834e4e8205d5bf1712d14f3818068
10c55a02344b6fec76eb7599b497a94f63386c72
9be956166fcc0ec4794a49fd84a32e8147f5c90d
102d259472bf06d426ae6107359440488b9d3e96


