# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1b05bf3d1c3d0c51d34c17a28c2691a753802b71
input_heaps:
e2fef00599d8b719ae96960a40fed04fe4f0ef33
115924f575558f617ba2ed10dc40ce0bc3b10ac7
b651b0b1d1b1049b7a532c10fb5a1371c687485c
eaacd3fc8bccf365f96efd5fb40477c37b8a3db6
a730c77a25e5dce7ea422f16b4207b9449fd97c9


