# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 0dac36593a5d5bf3dc93eb9e4f21c5a398abee98
input_heaps:
7a8e704ccea2b410d547e553bb494c61d99479c2
da57c5945db35fdf8ea8f0f69daec22595a33746
64272f543551b01eff83c0d1253e5c402151257c
11ebd30304b42e062086c44a10d913a745362428
1e54bea6d81a7752ba4cbc9e2cad2dedcdeab7c6


