# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 86edc2888170959794c1e0e2b0f65d9e21e411df
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
d423e696cbd8052390366debb40bea8c4171dfd4
74927fa18677453727e97f14301515241490b8d3
982f017ae36cae2932b23d85459588876fa4ee45


