# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f992a5da3c4015e993fb165ce98c8f9e22ff547c
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a
1fd636c723fb8aae7938eff32ab91ae083e1e1fc
0b77667671a6a7904c1a91a94dd04ab966389cb0


