# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 05fe50d24db26e58979a297ef6a6d0b115a8f190
input_heaps:
ae1b5b2dbbc392659df742a008f6c67116d9ebfd
3e2f53debea7c11b89b654421975bbc5018e38b4
7b8a9d88a852a6e3eeffa6fb042f28f43b58fce0
959f700b248337fb28022d47113e5b6070bed10e
d84c498581afd197e4c2c3f0a5c93af176bb755f


